Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


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

Parsing and compiling using Prolog
Jacques Cohen, Timothy J. Hickey
Pages: 125-163
DOI: 10.1145/22719.22946
This paper presents the material needed for exposing the reader to the advantages of using Prolog as a language for describing succinctly most of the algorithms needed in prototyping and implementing compilers or producing tools that facilitate...

A practical method for LR and LL syntactic error diagnosis and recovery
Michael G. Burke, Gerald A. Fisher
Pages: 164-197
DOI: 10.1145/22719.22720
This paper presents a powerful, practical, and essentially language-independent syntactic error diagnosis and recovery method that is applicable within the frameworks of LR and LL parsing. The method generally issues accurate diagnoses even...

Language support for the specification and development of composite systems
Martin S. Feather
Pages: 198-234
DOI: 10.1145/22719.22947
When a complex system is to be realized as a combination of interacting components, development of those components should commence from a specification of the behavior required of the composite system. A separate specification should be used to...

DIB—a distributed implementation of backtracking
Raphael Finkel, Udi Manber
Pages: 235-256
DOI: 10.1145/22719.24067
DIB is a general-purpose package that allows a wide range of applications such as recursive backtrack, branch and bound, and alpha-beta search to be implemented on a multicomputer. It is very easy to use. The application program needs to specify...

Retargetable microcode synthesis
Robert A. Mueller, Joseph Varghese
Pages: 257-276
DOI: 10.1145/22719.23717
Most work on automating the translation of high-level microprogramming languages into microcode has dealt with lexical and syntactic analysis and the use of manually produced macro tables for code generation. We describe an approach to and some...

An editor for revision control
Christipher W. Fraser, Eugene W. Myers
Pages: 277-295
DOI: 10.1145/22719.22948
Programming environments support revision control in several guises. Explicitly, revision control software manages the trees of revisions that grow as software is modified. Implicitly, editors retain past versions by automatically saving backup...