default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th POPL 1981: Williamsburg, Virginia, USA
- John White, Richard J. Lipton, Patricia C. Goldberg:
Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, USA, January 1981. ACM Press 1981, ISBN 0-89791-029-X - P. Geoffrey Lowney:
Carrier Arrays: An Idiom-Preserving Extension to APL. 1-13 - Robert Cartwright, Robert Hood, Philip Mathews:
Paths: An Abstract Alternative to Pointers. 14-27 - Jay Ramanathan, Charley J. Shubra:
Modeling of Problem Domains for Driving Program Development Systems. 28-40 - William L. Scherlis:
Program Improvement by Internal Specialization. 41-49 - Ashok K. Chandra:
Programming Primitives for Database Languages. 50-62 - Michael W. Condry:
Paging as a "Language Processing" Task. 63-76 - Susan S. Owicki:
Making the World Safe for Garbage Collection. 77-86 - William H. Harrison:
Position Paper on Optimizing Compilers. 88-89 - Stephen C. Johnson:
Position Paper on Optimizing Compilers. 90-91 - Cyril N. Alberga, Allen L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman:
A Program Development Tool. 92-104 - Alan J. Demers, Thomas W. Reps, Tim Teitelbaum:
Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors. 105-116 - Barry K. Rosen:
Linear Cost is Sometimes Quadratic. 117-124 - Robert Cartwright:
Formal Program Testing. 125-132 - Daniel Lehmann, Michael O. Rabin:
On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem. 133-138 - Joseph Y. Halpern, Albert R. Meyer:
Axiomatic Definitions of Programming Languages, II. 139-148 - Wolfgang Polak:
Program Verification Based on Denotational Semantics. 149-158 - Vaughan R. Pratt:
Program Logic Without Binding is Decidable. 159-163 - Mordechai Ben-Ari, Zohar Manna, Amir Pnueli:
The Temporal Logic of Branching Time. 164-176 - Takuya Katayama, Yutaka Hoshino:
Verification of Attribute Grammars. 177-186 - Norihisa Suzuki:
Inferring Types in Smalltalk. 187-199 - John L. Hennessy:
Program Optimization and Exception Handling. 200-206 - David J. Kuck, Robert H. Kuhn, David A. Padua, Bruce Leasure, Michael Wolfe:
Dependence Graphs and Compiler Optimizations. 207-218 - Eugene W. Myers:
A Precise Interprocedural Data Flow Algorithm. 219-230
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-12 00:13 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:
