Titlebook: Semantics-Directed Compiler Generation; Proceedings of a Wor Neil D. Jones Conference proceedings 1980 Springer-Verlag Berlin Heidelberg 19

Vital-Signs

流浪

chandel

From standard to implementation denotational semantics,We are developing a compiler compiler. It takes as input the formal definition of a programming language in Denotational Semantics and produces as output a fairly efficient compiler written in a systems programming language which in turn will produce code for a real machine. This work mainly deals with the code generation parts.

ANTI

Specification of compilers as abstract data type representations,This paper presents a method for specifying and proving compilers. This method is based on the algebraic data types ideas. The main points are :.A compiler generator, PERLUETTE, which accepts such specifications as input is described. The proof technic is discussed.

侵害

Using category theory to design implicit conversions and generic operators,A generalization of many-sorted algebras, called category-sorted algebras, is defined and applied to the language-design problem of avoiding anomalies in the interaction of implicit conversions and generic operators. The definition of a simple imperative language (without any binding mechanisms) is used as an example.

photopsia

Attribute-influenced LR parsing,Methods are described which make it possible, when given an arbitrary attribute grammar (or AG),

VEN

Palliation

rods366

nonradioactive