Executable semantic descriptions

DOI10.1002/SPE.4380160104MaRDI QIDQ3694666zbMATH OpenOpenAlexFDO

Authors David Anthony Watt

Publication date 1986

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.4380160104

zbMATH Keywords

abstract semantic algebradenotational semanticsmetalanguageMLmodularity

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3860370
• Executable component-based semantics
• scientific article; zbMATH DE number 512880
• scientific article; zbMATH DE number 4037166
• scientific article; zbMATH DE number 3980456
• On semantic descriptions of software systems
• Symbolic execution: A semantic approach

Cites work

• scientific article; zbMATH DE number 3640837 (Why is no real title available?)
• The denotational semantics of programming languages

Cited in

(3)

• Category-sorted algebra-based action semantics
• Programming language description languages. From Christopher Strachey to semantics online
• scientific article; zbMATH DE number 1479618 (Why is no real title available?)

This page was built for publication: Executable semantic descriptions

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