scientific article; zbMATH DE number 4189708

zbMath0722.03027MaRDI QIDQ5753940

Ian A. Mason, Carolyn L. Talcott

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticsformal systemmemory modelsprogram equivalencededuction systemcontrol primitivesdata operationsrecursive definition of functionsdecision procedure for the semantic consequence relationfirst-order Lisp-like languageprograms with side effects

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items

A first order logic of effects, Local variable scoping and Kleene algebra with tests, The revised report on the syntactic theories of sequential control and state, Capsules and Closures, Objects and classes in Algol-like languages