default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd POPL 1975: Palo Alto, California, USA
- Robert M. Graham, Michael A. Harrison, John C. Reynolds:
Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975. ACM Press 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-27 22:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
