Action semantics reasoning about functional programs

DOI10.1017/S0960129597002417MaRDI QIDQ4366771zbMATH OpenOpenAlexFDO

Authors Soren B. Lassen

Publication date 20 November 1997

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129597002417

zbMATH Keywords

specification languageaction semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4050948
• Action Semantics in Retrospect
• From operational to denotational semantics
• Reasoning about functions with effects

Cited in

(8)

• A proof tool for reasoning about functional programs
• Action Semantics in Retrospect
• Reasoning about functions with effects
• scientific article; zbMATH DE number 591239 (Why is no real title available?)
• scientific article; zbMATH DE number 6606368 (Why is no real title available?)
• scientific article; zbMATH DE number 4050948 (Why is no real title available?)
• An Action Semantics Based on Two Combinators
• scientific article; zbMATH DE number 1231480 (Why is no real title available?)

This page was built for publication: Action semantics reasoning about functional programs

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