This paper describes the design of a fast Cobol Compiler with extensive error detection. It is implemented as a 10 pass compiler on the Siemens 3003 computer with a core store of 8000 words, using one systems tape and two working tapes. The structure of the object program produced by the compiler is discussed with respect to storage allocation, administration of files, and addressing of data it...

We report about a joint project of the universities at Karls-ruhe, Kiel and Ulm on how to get correct compilers for realistic programming languages. Arguing about compiler correctness must start from a compiling speciication describing the correspondence of source and target language in formal terms. We have chosen to use abstract state machines to formalize this correspondence. This allows us ...

Guaranteed optimization is a technique for building compilers that have proven guarantees of what optimizations they perform. Such compilers optimize predictably and thoroughly, finding optimal forms of programs with respect to an approximate program equivalence. Guaranteed optimization is a “design-by-proof” technique: in attempting to verify a compiler has a certain property one uncovers fail...

This paper describes the functionality of ViC*, a compiler for a variant of the data-parallel language C* with support for out-of-core data. The compiler translates C* programs with shapes declared outofcore, which describe parallel data stored on disk. The compiler output is a SPMD-style program in standard C with I/O and library calls added to e ciently access out-of-core parallel data. The V...

Compiler is a program whose functionality is to translate a computer program written in source language into an equivalent machine code. Compiler construction is an advanced research area because of its size and complexity. The source codes are in higher level languages which are usually complex and, consequently, increase the level of abstraction. Due to such reasons, design and construction o...

Tracking specific events in a program’s execution, such as object allocation or lock acquisition, is at the heart of dynamic analysis. Despite apparent simplicity this task, quantifying these challenging due to presence compiler optimizations. Profiling perturbs optimizations that would normally do—a profiled program usually behaves differently than original one. In article, we propose novel te...

This paper critically examines current parallel programming practice and optimising compiler development. The general strategies employed by compiler and programmer to optimise a Fortran program are described, and then illustrated for a speciic case by applying them to a well known scientiic program, TRED2, using the KSR-1 as the target architecture. Extensive measurement is applied to the resu...

This paper presents the formal foundations and architectural design of a credible compiler, or a compiler that, in addition to a transformed program, produces a proof that the transformed program correctly implements the original input program. In our design, programs are represented using a standard low-level intermediate form based on controlow graphs. The compiler is structured as a set of c...

We present STARLET, a new compiler compiler which compiles Extended Affix G r a m m a r s defining a translation into an executable program : the translator. We look at its operational semantics and we focus on the points which are close to or different from Prolog procedural semantics. We discuss the two interwoven issues which are Program Reliability (due to many static checks) and Program Ef...