Reasoning about functions with effects

zbMATH Open0971.68024MaRDI QIDQ2704331FDOQ2704331

Authors: Carolyn Talcott 

Publication date: 19 March 2001

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

zbMATH Keywords

lambda calculusimperative functional languages

Mathematics Subject Classification ID

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

Cited In (8)

• 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
• Title not available (Why is that?)

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)