Several recently developed semantics systems automatically generate compilers from denotational descriptions of programming languages. Unfortunately, the object programs produced by the generated compilers run several orders of magnitude slower than those produced by h and -written compilers. We believe that this is due in large part to fundamental problems with denotational semantics as a language for specifying compilers. These problems effectively preclude any possibility for efficient implementation, and furthermore lead to specifications that are unnecessarily hard to comprehend and debug. In order to overcome these problems, we have developed a new style of semantic definition called high-level semantics. Unlike the traditional denota...
Interpreters and compilers are two different ways of implementing programming languages. An interpre...
Action Semantics is a new and interesting foundation for semantics based compiler generation. In th...
Formal semantic description is significant for design, reasoning and standardization of programming ...
It is suggested that denotational semantic definitions of programming languages should be based on ...
my father- in memoriam. my mother, Daniel, my sisters and brothers.- II-We describe a method for the...
A methodology is described for generating provably correct compilers from denotational definitions ...
Since the middle of the twentieth century, hundreds of programming languages have been designed and ...
. There are very few examples of the generation of efficient compilers from denotational specificati...
The intermediate representations (IR) used by most compilers have an operational semantics. The node...
Using concepts from denotational semantics, we have produced a very simple compiler that can be used...
High-level programming languages have been developed to simplify the communication problem between t...
AbstractWe present a two-level denotational metalanguage that is suitable for defining the semantic ...
A compiler generator is described which produces compilers competitive with handwritten ones in comp...
A laudable trend of the past two decades has been the increased use of denotational semantics to gui...
Given a complete, formal description of the semantics of a programming language, it should be possib...
Interpreters and compilers are two different ways of implementing programming languages. An interpre...
Action Semantics is a new and interesting foundation for semantics based compiler generation. In th...
Formal semantic description is significant for design, reasoning and standardization of programming ...
It is suggested that denotational semantic definitions of programming languages should be based on ...
my father- in memoriam. my mother, Daniel, my sisters and brothers.- II-We describe a method for the...
A methodology is described for generating provably correct compilers from denotational definitions ...
Since the middle of the twentieth century, hundreds of programming languages have been designed and ...
. There are very few examples of the generation of efficient compilers from denotational specificati...
The intermediate representations (IR) used by most compilers have an operational semantics. The node...
Using concepts from denotational semantics, we have produced a very simple compiler that can be used...
High-level programming languages have been developed to simplify the communication problem between t...
AbstractWe present a two-level denotational metalanguage that is suitable for defining the semantic ...
A compiler generator is described which produces compilers competitive with handwritten ones in comp...
A laudable trend of the past two decades has been the increased use of denotational semantics to gui...
Given a complete, formal description of the semantics of a programming language, it should be possib...
Interpreters and compilers are two different ways of implementing programming languages. An interpre...
Action Semantics is a new and interesting foundation for semantics based compiler generation. In th...
Formal semantic description is significant for design, reasoning and standardization of programming ...