Action semantics reasoning about functional programs

DOI10.1017/S0960129597002417zbMATH Open0883.68087OpenAlexW2156553731MaRDI QIDQ4366771FDOQ4366771

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

Recommendations

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

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)

Cited In (8)

• A proof tool for reasoning about functional programs
• Action Semantics in Retrospect
• Reasoning about functions with effects
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Action Semantics Based on Two Combinators
• Title not available (Why is that?)

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)