Results 211 to 220 of about 51,918 (265)

A Semantics for Means-end Relations

Synthese, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hughes, J. (author)   +2 more
openaire   +2 more sources

Relation level semantics

1988
It is common to consider a program as a relation on the set of its possible states. The relational equations describing the behavior of programs can be object level, i.e., they refer to states and values of variables, or they can be relation level, i.e., the constants and variables in the equations range over relations. Relation level work using binary
Jules Desharnais, Nazim H. Madhavji
openaire   +1 more source

Tabular Expressions and Their Relational Semantics

Fundamenta Informaticae, 2005
Tabular Expressions (Parnas et al. [20, 28, 32, 33]) are means to represent the complex relations that are used to specify or document software systems. A formal model and a semantics for tabular expressions are presented. The model covers most known types of tables used in software engineering, and admits precise classification and definition of new ...
Ryszard Janicki, Alan Wassyng
openaire   +3 more sources

Home - About - Disclaimer - Privacy