The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques.
This volume contains the papers selected for presentation at CC '94, the fifth International Conference on Compiler Construction, held in Edinburgh, U.K., in April 1994.

Keywords

Bibliographic Information

Book Title: Compiler Construction
Book Subtitle: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
Editors: Peter A. Fritzson
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-57877-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1994
Softcover ISBN: 978-3-540-57877-2Published: 23 March 1994
eBook ISBN: 978-3-540-48371-7Published: 06 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 460
Topics: Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Software Engineering, Artificial Intelligence

Publish with us

Policies and ethics

Compiler Construction

Editors:

Sections

Buy it now

Other ways to access

Table of contents (29 papers)

Front Matter

OASIS: An optimizing action-based compiler generator

Action transformations in the actress compiler generator

An overview of door attribute grammars

Coupling evaluators for attribute coupled grammars

Towards the global optimization of functional logic programs

A portable and optimizing back end for the SML/NJ compiler

Efficient organization of control structures in distributed implementations

Implementing 2DT on a multiprocessor

Global code selection for directed acyclic graphs

Compiling nested loops for limited connectivity VLIWs

Delayed exceptions — Speculative execution of trapping instructions

On the implementation of abstract interpretation systems for (constraint) Logic Programs

A suite of analysis tools based on a general purpose abstract interpreter

Flow grammars — a flow analysis methodology

Provable correctness of prototype interpreters in LDL

Developing efficient interpreters based on formal language specifications

Generating an efficient compiler for a data parallel language from a denotational specification

Adding semantic and syntactic predicates to LL(k): pred-LL(k)

Cosy compiler phase embedding with the CoSy compiler model

Other Volumes