scientific article; zbMATH DE number 4189708

MaRDI QIDQ5753940zbMATH OpenFDO

Authors Ian A. Mason, Carolyn Talcott

Publication date 1989

zbMATH Keywords

control primitivesdata operationsdecision procedure for the semantic consequence relationdeduction systemfirst-order Lisp-like languageformal systemmemory modelsoperational semanticsprogram equivalenceprograms with side effectsrecursive definition of functions

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4068250
• Side effects and aliasing can have simple axiomatic descriptions
• Inferring the equivalence of functional programs that mutate data
• The expressive power of side effects in prolog
• scientific article; zbMATH DE number 2090728

Cited in

(9)

• Inferring the equivalence of functional programs that mutate data
• The revised report on the syntactic theories of sequential control and state
• A first order logic of effects
• Objects and classes in Algol-like languages
• Side effects and aliasing can have simple axiomatic descriptions
• Towards Effects in Mathematical Operational Semantics
• Capsules and closures
• Inference rules for programming languages with side effects in expressions
• Local variable scoping and Kleene algebra with tests

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5753940)