Toward complete programming language descriptions that are both formal and understandable

DOI10.1002/SPE.4380140302MaRDI QIDQ3314961zbMATH OpenOpenAlexFDO

Authors Frank G. Pagan

Publication date 1984

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

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

zbMATH Keywords

formal definitionsgeneral- purpose programming languagelanguage reference manualsmetalanguagessemanticsspecifications for abstract and textual syntax

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 5545149
• Towards a theory of semantics and compilers for programming languages
• scientific article; zbMATH DE number 439891
• Descriptological foundations of programming
• Prototyping realistic programming languages based on formal specifications
• Inferring descriptive generalisations of formal languages
• On syntactical analysis and properties of formal programming languages
• The formalization of some context conditions of programming languages
• Formal models for some features of programming languages

Cites work

• On Interpreter-Oriented Definitions of Programming Languages
• The Vienna development method: The meta-language

Cited in

(8)

• Refined description of the C[] language
• Formal descriptions of code properties: decidability, complexity, implementation
• scientific article; zbMATH DE number 2084339 (Why is no real title available?)
• scientific article; zbMATH DE number 3874650 (Why is no real title available?)
• Programming language description languages. From Christopher Strachey to semantics online
• scientific article; zbMATH DE number 5545149 (Why is no real title available?)
• scientific article; zbMATH DE number 51766 (Why is no real title available?)
• scientific article; zbMATH DE number 1543048 (Why is no real title available?)

This page was built for publication: Toward complete programming language descriptions that are both formal and understandable

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