Reasoning about functions with effects

MaRDI QIDQ2704331zbMATH OpenFDO

Authors Carolyn Talcott

Publication date 19 March 2001

zbMATH Keywords

lambda calculusimperative functional languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18)

Recommendations

• Just do it
• Operational reasoning for functions with local state
• Action semantics reasoning about functional programs
• State will do
• Not by equations alone. Reasoning with extensible effects

Cited in

(8)

• scientific article; zbMATH DE number 2087343 (Why is no real title available?)
• On the observational theory of the CPS-calculus
• A first order logic of effects
• Complete trace models of state and control
• Amb Breaks Well-Pointedness, Ground Amb Doesn't
• Imperative abstractions for functional actions
• Plan in Maude specifying an active network programming language
• A Complete, Co-inductive Syntactic Theory of Sequential Control and State

This page was built for publication: Reasoning about functions with effects

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