POPL 1975

22 papers

1. A Description of Path Expressions by Petri Nets · Peter E. Lauer, Roy H. Campbell
2. A Fast and Usually Linear Algorithm for Global Flow Analysis · Susan L. Graham, Mark N. Wegman
3. A Mathematical Approach to Language Design · George T. Ligler
4. A Semantic Model for Parallel Systems with Scheduling · Ellis S. Cohen
5. Actor Semantics of Planner-73 · Irene Greif, Carl Hewitt
6. An Algebra of Relations for Machine Computation · Patrick A. V. Hall, Peter Hitchcock, Stephen Todd
7. An Algebraic Model for String Patterns · Glenn F. Stewart
8. An Assertion Language for Data Structures · Stephen A. Cook, Derek C. Oppen
9. Application of Lattice Algebra to Loop Optimization · Amelia C. Fong, John B. Kam, Jeffrey D. Ullman
10. Automatic Data Structure Choice in a Language of Very High Level · Jacob T. Schwartz
11. Computer Assisted Application Definition · Martin Mikelsons
12. Correctness-Preserving Program Transformations · Susan L. Gerhart
13. Even Simple Programs are Hard to Analyze · Neil D. Jones, Steven S. Muchnick
14. Modes, Values, and Expressions · Marvin H. Solomon
15. New Control Structures to Aid Gotolessness · D. M. Symes
16. Node Listings Applied to Data Flow Analysis · Ken Kennedy
17. On the Complexity of LR(k) Testing · Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman
18. On the Complexity of the Circularity Test for Attribute Grammars · Mehdi Jazayeri, William F. Ogden, William C. Rounds
19. Program Schemas with Concurrency: Execution Time and Hangups · Bruce P. Lester
20. Programming Languages, Natural Languages, and Mathematics · Peter Naur
21. Reduction: A New Method of Proving Properties of Systems of Processes · Richard J. Lipton
22. Structured Exception Handling · John B. Goodenough