Results 221 to 230 of about 3,212 (267)

Using the CDL compiler-compiler

1974
In this sequence of lectures one compiler compiler is going to be highlighted by means of somewhat larger examples, preceded by a discussion of ideas underlying it.
openaire   +1 more source

Compilation reuse and hybrid compilation

ACM SIGPLAN Notices, 2006
Compiling hardware models to machine code poses some unusual problems. While compilers for traditional programming languages are well understood, they tend to take very long to compile the C code generated from hardware models. The code generated from hardware models, unlike in the inputs seen by traditional compilers, have too many simple routines ...
openaire   +1 more source

jShio — A Customization Language Compiler—Compiler

2001
When software developers create software, they usually want to attach some customizable functions to their software. These functions are usually implemented by reading a customization file or by manipulating a GUI. In this paper we describe a system called “jShio”.
Hideharu Kojima, Rolf Adams
openaire   +1 more source

Reducing compilation time by a compilation server

Software: Practice and Experience, 1993
AbstractIn language systems that support separate compilation, we often observe that header files are internalized over and over again when the source files that depend on them are compiled. Making a compiler a long‐lived server eliminates such redundant processing of header files, thus reducing the compilation time.
openaire   +1 more source

Compilation by Transformation in the Glasgow Haskell Compiler

1995
In this paper we describe the full set of local program transformations implemented in the Glasgow Haskell Compiler. The transformations are presented as source to source transformations in a simple functional language. The idea is that by composing these simple and small high level transformations one can achieve most of the benefits of more ...
Simon Peyton Jones, André L. M. Santos
openaire   +1 more source

Serial compilation and the 1401 FORTRAN compiler

IBM Systems Journal, 1965
This paper discusses a compiler Organization in which phases act sequentially on a source program held in core storage. A brief description of each phase of the 1401 FORTRAN compiler is given to illustrate the general scheme.
openaire   +1 more source

Verification of Compilers

1999
We report about a joint project of the universities at Karlsruhe, Kiel and Ulm on how to get correct compilers for realistic programming languages. Arguing about compiler correctness must strat from a compiling specification describing the correspondence of source and target language in formal terms.
Goos, Gerhard, Zimmermann, Wolf
openaire   +1 more source

Indenting for the compiler

ACM SIGPLAN Notices, 1980
A simple indentation rule, indent statements from the control statement they belong to, is sufficient to express a program's block structure without the use of compound statements or closing keywords. This is proven using a PASCAL-like language (using indentation instead of BEGIN-END blocks). Using indentation alone means a programmer need not give two
openaire   +1 more source

Application of compiler compilers for constructing a translator

Zbornik radova Prirodno-matematičkog fakulteta u Novom Sadu, serija Matematika, 1994
Summary: The work briefly describes compiler compilers COCO-2, LEX and YACC. With the aid of these compiler compilers the methodology was illustrated for constructing a translator for robot-oriented programming languages. A comparative analysis was presented of the technique for realization of the translator using the COCO-2 and LEX-YACC compiler ...
Surla, Dušan, Racković, Miloš
openaire   +1 more source

A pattern compiler

Proceedings of the third ACM symposium on Symbolic and algebraic computation - SYMSAC '76, 1976
A pattern compiler for the SCRATCHPAD system provides an efficient implementation of sets of user-defined pattern-replacement rules for symbolic mathematical computation such as tables of integrals or summation identities. Rules are compiled together, with common search paths merged and factored out and with the resulting code optimized for efficient ...
openaire   +1 more source