Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 2 Issue 2, April 1980

External Representations of Objects of User-Defined Type
Peter L. Wallis
Pages: 137-152
DOI: 10.1145/357094.357095
The portable programming language (PPL) is one of a number of recently designed programming languages that enable the user to define new types by giving their representations and operations in terms of those of previously available types. Such...

An Alternative to the Use of Patterns in String Processing
Ralph E. Griswold, David R. Hanson
Pages: 153-172
DOI: 10.1145/357094.357096
SNOBOL4 is best known for its string processing facilities, which are based on patterns as data objects. Despite the demonstrated success of patterns, there are many shortcomings associated with their use. The concept of patterns in SNOBOL4 is...

Automatic Derivation of Code Generators from Machine Descriptions
R. G. Cattell
Pages: 173-190
DOI: 10.1145/357094.357097
Work with compiler compilers has dealt principally with automatic generation of parsers and lexical analyzers. Until recently, little work has been done on formalizing and generating the back end of a compiler, particularly an optimizing...

The Design and Application of a Retargetable Peephole Optimizer
Jack W. Davidson, Christopher W. Fraser
Pages: 191-202
DOI: 10.1145/357094.357098
Peephole optimizers improve object code by replacing certain sequences of instructions with better sequences. This paper describes PO, a peephole optimizer that uses a symbolic machine description to simulate pairs of adjacent instructions,...

On Parsing and Compiling Arithmetic Expressions on Vector Computers
Charles N. Fischer
Pages: 203-224
DOI: 10.1145/357094.357099
The problem of parsing and compiling arithmetic expressions on vector computers is considered. Methods are developed which allow encodings of one or more arithmetic expressions to be transformed directly into encodings of their corresponding...

Ada exception handling: an axiomatic approach
David C. Luckham, W. Polak
Pages: 225-233
DOI: 10.1145/357094.357100
A method of documenting exception propagation and handling in Ada programs is proposed. Exception propagation declarations are introduced as a new component of Ada specifications, permitting documentation of those exceptions that can be...

Output Guards and Nondeterminism in “Communicating Sequential Processes”
Arthur Bernstein
Pages: 234-238
DOI: 10.1145/357094.357101
In a recent paper C.A.R. Hoare outlined a language for concurrent programming. Guarded commands and nondeterminism are two features of the language. This paper points out two problems that arise in connection with these features and addresses...

Design of a Machine-Independent Optimizing System for Emulator Development
Perng-Ti Ma, T. G. Lewis
Pages: 239-262
DOI: 10.1145/357094.357102
Methods are described to translate a certain machine-independent intermediate language (IML) to efficient microprograms for a class of horizontal microprogrammable machines. The IML is compiled directly from a high-level microprogramming...