6. POPL 1979: San Antonio, Texas

• 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 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
  

Last update Thu Feb 9 05:13:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page