PLDI 1984

31 papers

1. A Fortran compiler for the FPS-164 scientific computer · Roy F. Touzeau
2. A multi-language compiler system with automatically generated codegenerators · Uwe Schmidt, Reinhard Völler
3. A portable optimizing compiler for Modula-2 · Michael L. Powell
4. A semantic prototyping system · Mitchell Wand
5. A specification language for one-pass semantic analysis · Kai Koskimies
6. An approach to incremental compilation · Steven P. Reiss
7. An efficient implementation of visibility in Ada · M. I. Blower
8. Analyzing and compressing assembly code · Christopher W. Fraser, Eugene W. Myers, Alan L. Wendt
9. Attribute coupled grammars · Harald Ganzinger, Robert Giegerich
10. Automatic generation of peephole optimizations · Jack W. Davidson, Christopher W. Fraser
11. Automatic loop interchange · John R. Allen, Ken Kennedy
12. Code generation by coagulation · Michael Karr
13. Compiler prototyping using formal semantics · Uwe F. Pleban
14. Efficient compilation of lazy evaluation · Thomas Johnsson
15. Efficient computation of flow insensitive interprocedural summary information · Keith D. Cooper, Ken Kennedy
16. Engineering a high-capacity Pascal compiler for high performance · David C. Robbins
17. Experience with a Graham-Glanville style code generator · Philippe Aigrain, Susan L. Graham, Robert R. Henry, Marshall K. McKusick, Eduardo Pelegrí-Llopart
18. Incremental compilation in Magpie · Mayer D. Schwartz, Norman M. Delisle, Vimal S. Begwani
19. Incremental data flow analysis in a structured program editor · F. Kenneth Zadeck
20. Inline routines in VAXELN Pascal · M. Donald MacLaren
21. Parallel processing: a smart compiler and a dumb machine · Joseph A. Fisher, John R. Ellis, John C. Ruttenberg, Alexandru Nicolau
22. Peep: an architectural description driven peephole optimizer · Robert R. Kessler
23. Register allocation by priority-based coloring · Fred C. Chow, John L. Hennessy
24. Regular right-part attribute grammars · Richard Jüllig, Frank DeRemer
25. Sharing code among instances of Ada generics · Gary Bray
26. Static checking of interprocess communication in ECSP · Fabrizio Baiardi, Laura Ricci, Marco Vanneschi
27. Strongly non-circular attribute grammars and their recursive evaluation · Martin Jourdan
28. Sub-protocol-evaluators for attribute grammars · Rodney Farrow
29. Tree transformation techniques and experiences · Steven E. Keller, John A. Perkins, Teri F. Payton, S. P. Mardinly
30. Type checking, separate compilation and reusability · Michael R. Levy
31. Using dynamic programming to generate optimized code in a Graham-Glanville style code generator · Thomas W. Christopher, Philip J. Hatcher, Ronald C. Kukuk