2. POPL 1975:
Palo Alto,
California
Conference Record of the Second ACM Symposium on Principles of Programming Languages,
Palo Alto, California, January 1975.
- Amelia C. Fong, John B. Kam, Jeffrey D. Ullman:
Application of Lattice Algebra to Loop Optimization.
1-9
- Ken Kennedy:
Node Listings Applied to Data Flow Analysis.
10-21
- Susan L. Graham, Mark N. Wegman:
A Fast and Usually Linear Algorithm for Global Flow Analysis.
22-34
- Jacob T. Schwartz:
Automatic Data Structure Choice in a Language of Very High Level.
36-40
- George T. Ligler:
A Mathematical Approach to Language Design.
41-53
- Susan L. Gerhart:
Correctness-Preserving Program Transformations.
54-66
- Irene Greif, Carl Hewitt:
Actor Semantics of Planner-73.
67-77
- Richard J. Lipton:
Reduction: A New Method of Proving Properties of Systems of Processes.
78-86
- Ellis S. Cohen:
A Semantic Model for Parallel Systems with Scheduling.
87-94
- Peter E. Lauer, Roy H. Campbell:
A Description of Path Expressions by Petri Nets.
95-105
- Neil D. Jones, Steven S. Muchnick:
Even Simple Programs are Hard to Analyze.
106-118
- Mehdi Jazayeri, William F. Ogden, William C. Rounds:
On the Complexity of the Circularity Test for Attribute Grammars.
119-129
- Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman:
On the Complexity of LR(k) Testing.
130-136
- Peter Naur:
Programming Languages, Natural Languages, and Mathematics.
137-148
- Marvin H. Solomon:
Modes, Values, and Expressions.
149-159
- Stephen A. Cook, Derek C. Oppen:
An Assertion Language for Data Structures.
160-166
- Glenn F. Stewart:
An Algebraic Model for String Patterns.
167-184
- Bruce P. Lester:
Program Schemas with Concurrency: Execution Time and Hangups.
185-193
- D. M. Symes:
New Control Structures to Aid Gotolessness.
194-203
- John B. Goodenough:
Structured Exception Handling.
204-224
- Patrick A. V. Hall, Peter Hitchcock, Stephen Todd:
An Algebra of Relations for Machine Computation.
225-232
- Martin Mikelsons:
Computer Assisted Application Definition.
233-242
Copyright © Mon Nov 2 21:05:02 2009
by Michael Ley (ley@uni-trier.de)
