Conferences in DBLP
Christopher W. Fraser A Compact, Machine-Independent Peephole Optimizer. [Citation Graph (0, 0)][DBLP ] Conf ] Robert L. Constable , Scott Johnson A PL/CV Precis. [Citation Graph (0, 0)][DBLP ] Conf ] Amelia C. Fong Automatic Improvement of Programs in Very High Level Languages. [Citation Graph (1, 0)][DBLP ] Conf ] John Banning An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Donald I. Good , Richard M. Cohen , James Keeton-Williams Principles of Proving Programs Correct in Gypsy. [Citation Graph (0, 0)][DBLP ] Conf ] Stanley Lee , Willem P. de Roever , Susan L. Gerhart The Evolution of List-Copying Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Cartwright , John L. McCarthy First Order Programming Logic. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel Recursion in Logics of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Vaughan R. Pratt Process Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Marco A. Casanova , Philip A. Bernstein The Logic of a Relational Data Manipulation Language. [Citation Graph (9, 17)][DBLP ] Conf ] Alfred V. Aho , Jeffrey D. Ullman The Universality of Data Retrieval Languages. [Citation Graph (170, 8)][DBLP ] Conf ] Rina S. Cohen , E. Harry Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Sowmitri Swami , John E. Savage Space-Time Tradeoffs for Linear Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Norman H. Cohen Characterization and Elimination of Redundancy in Recursive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Adrienne Critcher The Functional Power of Parameter Passage Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph M. Hoffmann , Michael J. O'Donnell Interpreter Generation Using Tree Pattern Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Irene Greif , Albert R. Meyer Specifying Programming Language Semantics. [Citation Graph (1, 0)][DBLP ] Conf ] W. E. Gull , Michael A. Jenkins Decisions for ``Type'' in APL. [Citation Graph (0, 0)][DBLP ] Conf ] Edmond Schonberg , Jacob T. Schwartz , Micha Sharir Automatic Data Structure Selection in SETL. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke Synthesis of Resource Invariants for Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ken C. Liu , Arthur C. Fleck String Pattern Matching in Polynomial Time. [Citation Graph (0, 0)][DBLP ] Conf ] Sten Andler Predicate Path Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Terrence C. Miller Type Checking in an Imperfect World. [Citation Graph (0, 0)][DBLP ] Conf ] Neil D. Jones , Steven S. Muchnick Flow Analysis and Optimization of Lisp-Like Structures. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reif Data Flow Analysis of Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cousot , Radhia Cousot Systematic Design of Program Analysis Frameworks. [Citation Graph (1, 0)][DBLP ] Conf ] Richard P. Reitman , Gregory R. Andrews Certifying Information Flow Properties of Programs: An Axiomatic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] 