default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th POPL 1979: San Antonio, Texas, USA
- Alfred V. Aho, Stephen N. Zilles, Barry K. Rosen:
Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979. ACM Press 1979 - Christopher W. Fraser:
A Compact, Machine-Independent Peephole Optimizer. 1-6 - Robert L. Constable, Scott Johnson:
A PL/CV Precis. 7-20 - Amelia C. Fong:
Automatic Improvement of Programs in Very High Level Languages. 21-28 - John Banning:
An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables. 29-41 - Donald I. Good, Richard M. Cohen, James G. Keeton-Williams:
Principles of Proving Programs Correct in Gypsy. 42-52 - Stanley Lee, Willem P. de Roever, Susan L. Gerhart:
The Evolution of List-Copying Algorithms. 53-67 - Robert Cartwright, John McCarthy:
First Order Programming Logic. 68-80 - David Harel:
Recursion in Logics of Programs. 81-92 - Vaughan R. Pratt:
Process Logic. 93-100 - Marco A. Casanova, Philip A. Bernstein:
The Logic of a Relational Data Manipulation Language. 101-109 - Alfred V. Aho, Jeffrey D. Ullman:
The Universality of Data Retrieval Languages. 110-120 - Rina S. Cohen, E. Harry:
Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars. 121-134 - Sowmitri Swamy, John E. Savage:
Space-Time Tradeoffs for Linear Recursion. 135-142 - Norman H. Cohen:
Characterization and Elimination of Redundancy in Recursive Programs. 143-157 - Adrienne Critcher:
The Functional Power of Parameter Passage Mechanisms. 158-168 - Christoph M. Hoffmann, Michael J. O'Donnell:
Interpreter Generation Using Tree Pattern Matching. 169-179 - Irene Greif, Albert R. Meyer:
Specifying Programming Language Semantics. 180-189 - W. E. Gull, Michael A. Jenkins:
Decisions for "Type" in APL. 190-196 - Edmond Schonberg, Jacob T. Schwartz, Micha Sharir:
Automatic Data Structure Selection in SETL. 197-210 - Edmund M. Clarke:
Synthesis of Resource Invariants for Concurrent Programs. 211-221 - Ken C. Liu, Arthur C. Fleck:
String Pattern Matching in Polynomial Time. 222-225 - Sten Andler:
Predicate Path Expressions. 226-236 - Terrence C. Miller:
Type Checking in an Imperfect World. 237-243 - Neil D. Jones, Steven S. Muchnick:
Flow Analysis and Optimization of Lisp-Like Structures. 244-256 - John H. Reif:
Data Flow Analysis of Communicating Processes. 257-268 - Patrick Cousot, Radhia Cousot:
Systematic Design of Program Analysis Frameworks. 269-282 - Richard P. Reitman, Gregory R. Andrews:
Certifying Information Flow Properties of Programs: An Axiomatic Approach. 283-290
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 2024-12-12 21:06 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:
