A provably correct compiler generator

Identification is the task of finding the relation between used identifier occurrences and the declared entities of a program. The paper presents the techniques needed for the 'implementation of high-level identification specifications based on visibility rules. The underlying specification method is related to descriptions in language reports defining the identification in terms of validity and hiding of bindings in program ranges. This leads to shorter and better to read specifications. Sematics and specification properties of the method are already considered in [PH91c], [PH91b]. Here, we present the new implementation techniques developed for the generation of compiler front-ends from hlgh-level identification specifications. The implementation combines instantiation and partial evaluation of expressions with a generated global table mechanism.

show abstract

Action Semantics in Retrospect

Watt

2009

Semantics and Algebraic Specification

View full text Add to dashboard Cite

Abstract. This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on unified algebras. It goes on to outline some applications of action semantics to describe real programming languages, and some efforts to implement programming languages using action semantics directed compiler generation. It concludes by outlining more recent developments and reflecting on the success of the action semantics project.

show abstract

A provably correct compiler generator

Cited by 15 publications

References 46 publications

On Extracting Static Semantics

On Extracting Static Semantics

Implementing high-level identification specifications

Action Semantics in Retrospect

Contact Info

Product

Resources

About