Book ChapterDOI
Compiler Generation from Formal Definition of Programming Languages: A Survey
Marie-Claude Gaudel
- pp 96-114
Reads0
Chats0
About:
The article was published on 1981-04-19. It has received 7 citations till now. The article focuses on the topics: Compiler construction & Compiler correctness.read more
Citations
More filters
A Basis for a Mathematical Theory of Computation
TL;DR: In this paper, the mathematical theory of computation is discussed and several descriptive formalisms with a few examples of their use and theories that enable to prove the equivalence of computations expressed in these formalisms are also presented.
A Formal Semantics for the C Programming Language
TL;DR: A formal denotational semantics for the ANSI C programming language is proposed, with emphasis on its accuracy and completeness with respect to the standard, and is demonstrated that a programming language as useful in practice and as inherently complicated as C can nonetheless be defined formally.
Journal ArticleDOI
Control Flow Aspects of Semantics-Directed Compiling
TL;DR: This paper is a demonstration of a semantics-directed compiler generator that focuses on the part of a compiler between syntax analysis and code generation.
Proceedings ArticleDOI
Experience with an experimental compiler generator based on denotational semantics
TL;DR: It is argued that SIS constitutes an important first step toward the automatic construction of provably correct, complete, and reasonably efficient compilers from formal syntactic and semantic specifications.
Proceedings ArticleDOI
Control flow aspects of semantics directed compiling (Summary)
TL;DR: This work focuses on the part of a compiler between syntax analysis and code generation, and the semantic description is analogous to a syntax directed construction of a flow diagram for a program.
References
More filters
Journal ArticleDOI
Semantics of context-free languages
TL;DR: The implications of this process when some of the attributes of a string are “synthesized”, i.e., defined solely in terms of attributes of thedescendants of the corresponding nonterminal symbol, while other attributes are ‘inherited’, are examined.
Journal ArticleDOI
Initial Algebra Semantics and Continuous Algebras
TL;DR: An overview of initial algebra semantics is provided and the major technical feature is an initial continuous algebra which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as more basic operations.
Book
Data Types as Lattices
TL;DR: In this article, the meaning of many kinds of expressions in programming languages can be taken as elements of certain spaces of partial objects, and these spaces are modeled in one universal domain.
Book ChapterDOI
A Basis for a Mathematical Theory of Computation
TL;DR: The chapter explores what practical results can be expected from a suitable mathematical theory and presents several descriptive formalisms with a few examples of their use and theories that enable to prove the equivalence of computations expressed in these formalisms.