From operational to denotational semantics

DOI10.1007/3-540-55511-0_3MaRDI QIDQ6116563zbMATH OpenFDO

Authors Scott F. Smith

Publication date 16 August 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55511-0_3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1241702
• From operational semantics to domain theory
• scientific article; zbMATH DE number 3976319
• scientific article; zbMATH DE number 2090728
• Operational and semantic equivalence between recursive programs.

Cites work

• A syntactic theory of sequential control
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Can LCF be topped! Flat lattice models of typed \(\lambda{}\)-calculus
• Data Types as Lattices
• Edinburgh LCF. A mechanized logic of computation
• Fully abstract models of typed \(\lambda\)-calculi
• scientific article; zbMATH DE number 4180818 (Why is no real title available?)
• scientific article; zbMATH DE number 194122 (Why is no real title available?)
• scientific article; zbMATH DE number 3485202 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• LCF considered as a programming language
• Logic and Computation

Cited in

(19)

• A first order logic of effects
• From operational semantics to domain theory
• On the approximability relation for semantics of sequential programs
• The coverage of operational semantics
• On the Existence of Cook Semantics
• scientific article; zbMATH DE number 3890703 (Why is no real title available?)
• scientific article; zbMATH DE number 3909726 (Why is no real title available?)
• scientific article; zbMATH DE number 1370937 (Why is no real title available?)
• scientific article; zbMATH DE number 92599 (Why is no real title available?)
• scientific article; zbMATH DE number 177855 (Why is no real title available?)
• scientific article; zbMATH DE number 1241702 (Why is no real title available?)
• Relating operational and denotational semantics for input/output effects
• Action semantics reasoning about functional programs
• scientific article; zbMATH DE number 2090728 (Why is no real title available?)
• Operational and semantic equivalence between recursive programs.
• Howe's method for higher-order languages
• Computational adequacy via ‘mixed’ inductive definitions
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• The (algebraic) congruence of two programming language definitions

This page was built for publication: From operational to denotational semantics

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