Programming language description languages. From Christopher Strachey to semantics online

DOI10.1007/978-1-84882-736-3_8MaRDI QIDQ3557674zbMATH OpenOpenAlexWikidataFDO

Authors Peter D. Mosses

Publication date 23 April 2010

Published in Formal Methods: State of the Art and New Directions (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-736-3_8

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 2084339
• Executable semantic descriptions
• scientific article; zbMATH DE number 5545149
• Introduction to the theory of programming languages.
• Toward complete programming language descriptions that are both formal and understandable

Cited in

(6)

• Induction, domains, calculi: Strachey's contributions to programming-language engineering
• Denotational semantics of membrane systems by using complete metric spaces
• scientific article; zbMATH DE number 2084339 (Why is no real title available?)
• VDM Semantics of Programming Languages: Combinators and Monads
• Logics of programs as a fuelling force for semantics
• VDM semantics of programming languages: Combinators and monads

This page was built for publication: Programming language description languages. From Christopher Strachey to semantics online

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