Results 111 to 120 of about 31,478 (165)

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

Home - About - Disclaimer - Privacy