next up previous
Next: About this document ... Up: KHEPERA: A System for Previous: 6 Availability


Jon L. Bentley, Lynn W. Jelinski, and Brian W. Kernighan.
CHEM--a program for phototypesetting chemical structure diagrams.
Computers and Chemistry, 11(4):281-97, 1987.

Robert D. Cameron.
An abstract pretty printer.
IEEE Softw., 5(6):61-7, Nov. 1988.

James R. Cordy and Ian H. Carmichael.
The TXL programming language syntax and informal semantics, version 7.
Software Technology Laboratory, Department of Computing and Information Science, Queen's University at Kingston, June 1993.

James R. Cordy, Charles D. Halpern-Hamu, and Eric Promislow.
TXL: a rapid prototyping system for programming language dialects.
Comp. Lang., 16(1):97-107, Jan. 1991.

Matt Englehart and Mike Jackson.
ControlH: A Fourth Generation Language for Real-time GN&C Applications.
Symp. on Computer-Aided Control System Design (Tucson, Arizona, Mar. 1994), Mar. 1994.

J. Grosch and H. Emmelmann.
A tool box for compiler construction, Compiler Generation Report No. 20.
GMD Forschungsstelle an der Universität Karlsruhe, 21 Jan. 1990.

Matti O. Jokinen.
A language-independent prettyprinter.
Softw.--Practice and Experience, 19(9):839-56, Sep. 1989.

Brian W. Kernighan.
PIC--a language for typesetting graphics.
Softw.--Practice and Experience, 12:1-21, 1982.
Published as AT&T Bell Laboratories (Murray Hill, New Jersey) Computing Science Technical Report No. 116: PIC--a graphics language for typesetting (user manual) , available as

Derek C. Oppen.
ACM Trans. on Prog. Lang. and Sys., 2(4):465-83, Oct. 1980.

Daniel William Palmer.
Efficient execution of nested data-parallel programs.
PhD thesis, published as Technical report TR97-015.
University of North Carolina at Chapel Hill, 1996.

Terence John Parr.
Language Translation Using PCCTS and C++: A Reference Guide.
San Jose: Automata Publishing Co., 1997.

Jan F. Prins and Daniel W. Palmer.
Transforming high-level data-parallel programs into vector operations.
Proc. 4th Annual Symp. on Princ. and Practice of Parallel Prog. (San Diego, CA, 19-22 May 1993).
Published as SIGPLAN Notices, 28(7):119-28.
ACM, July 1993.

William Pugh.
Skip lists: a probabilistic alternative to balanced trees.
Communications of the ACM, 33(6):668-76, June 1990.

Reasoning Systems.
REFINE user's guide, 25 May 1990.

Lisa F. Rubin.
Syntax-directed pretty printing--a first step towards a syntax-directed editor.
IEEE Trans. on Softw. Eng., SE-9(2):119-27, Mar. 1983.

Martin Ruckert.
Conservative pretty printing.
SIGPLAN Notices, 32(2):39-44, Feb. 1997.

S. Tjiang, M. Wolf, M. Lam, K. Pieper, and J. Hennessy.
Integrating Scalar Optimization and Parallelization.
Languages and Compilers for Parallel Computing (Fourth International Workshop) (Santa Clara, California, 7-9 Aug. 1991).
Published as U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science, 589:137-51.
Springer-Verlag, 1992.
An overview of a more recent version of SUIF is available as Robert P. Wilson, Robert S. French, Christopher S. Wilson, Saman P. Amarasinghe, Jennifer M. Anderson, Steve W. K. Tjiang, Shih-Wei Liao, Chau-Wen Tseng, Mary W. Hall, Monica S. Lam, and John L. Hennessy, SUIF: An Infrastructure for Research on Parallelizing and Optimizing Compilers , available at

Arie van Deursen and Paul Klint.
Little languages: little maintenance?
Proceedings of DSL '97 (First ACM SIGPLAN Workshop on Domain-Specific Languages) (Paris, France, 18 Jan. 1997).
Published as University of Illinois Computer Science Report,, Jan. 1997.

Rickard Faith