A Denotational Semantics for Handel-C

DOI10.1007/978-3-540-75221-9_3MaRDI QIDQ3526925zbMATH OpenOpenAlexFDO

Authors Andrew Butterfield

Publication date 25 September 2008

Published in Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75221-9_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• A denotational semantics for Handel-C
• Semantic domains for Handel-C
• UTP semantics for Handel-C
• scientific article; zbMATH DE number 3902017
• scientific article; zbMATH DE number 1852174

Cited in

(5)

• Semantic domains for Handel-C
• UTP semantics for Handel-C
• Mechanised wire-wise verification of Handel-C synthesis
• Mechanised wire-wise verification of Handel-C synthesis
• A denotational semantics for Handel-C

Describes a project that uses

Uses Software

• Handel-C

This page was built for publication: A Denotational Semantics for Handel-C

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