Formal models for some features of programming languages

DOI10.1145/800169.805435MaRDI QIDQ5402520zbMATH OpenOpenAlexFDO

Authors H. P. Zeiger

Publication date 14 March 2014

Published in Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/800169.805435

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Formal languages and automata (68Q45)

Recommendations

• A formal model of programs
• A formal model for a hybrid programming language
• Formal languages and computation. Models and their applications
• Formal Models, Languages and Applications
• An algebraic model for programming languages
• Formal models and free program schemata
• Computational and attribute models of formal languages
• scientific article; zbMATH DE number 194122

Cited in

(19)

• Prototyping realistic programming languages based on formal specifications
• scientific article; zbMATH DE number 4011895 (Why is no real title available?)
• scientific article; zbMATH DE number 2050948 (Why is no real title available?)
• A theoretical model of a high-level programming language
• Formal models of stepwise refinements of programs
• Toward complete programming language descriptions that are both formal and understandable
• scientific article; zbMATH DE number 4076602 (Why is no real title available?)
• scientific article; zbMATH DE number 3885301 (Why is no real title available?)
• Formal Models, Languages and Applications
• scientific article; zbMATH DE number 5042669 (Why is no real title available?)
• On the interpretation of mathematical entities in the formalisation of programming and modelling languages
• scientific article; zbMATH DE number 4157860 (Why is no real title available?)
• Semantics of probabilistic programs
• A formal algorithmic language FALGOL. Thirty years after
• Computational and attribute models of formal languages
• scientific article; zbMATH DE number 3937124 (Why is no real title available?)
• Representing structural language features in formal meta-languages
• scientific article; zbMATH DE number 194122 (Why is no real title available?)
• Program equivalence and context-free grammars

This page was built for publication: Formal models for some features of programming languages

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