Towards a theory of semantics and compilers for programming languages
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4052983
- An algebraic approach to semantics of programming languages
- scientific article; zbMATH DE number 439891
- Theories of Programming Languages
- scientific article; zbMATH DE number 2186295
- Compiler design. Syntactic and semantic analysis
- Mechanized semantics
- scientific article; zbMATH DE number 26616
- scientific article; zbMATH DE number 555217
Cited in
(6)- Toward complete programming language descriptions that are both formal and understandable
- A Theoretical Foundation for Programming Languages Aggregation
- An abstract compiler model as a result of the algebraic semantics of a programming language
- scientific article; zbMATH DE number 569780 (Why is no real title available?)
- Mechanized semantics
- scientific article; zbMATH DE number 3874650 (Why is no real title available?)
This page was built for publication: Towards a theory of semantics and compilers for programming languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5402521)