Conferences in DBLP
John C. Cherniavsky , Samuel N. Kamin A Complete and Consistent Hoare Semantics for a Simple Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred V. Aho , Stephen C. Johnson , Jeffrey D. Ullman Code Generation for Machines with Multiregister Operations. [Citation Graph (0, 0)][DBLP ] Conf ] William H. Harrison A New Strategy for Code Generation - The General Purpose Optimizing Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] Barry K. Rosen Applications of High-Level Control Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Amelia C. Fong Generalized Common Subexpressions in Very High Level Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Paige , Jacob T. Schwartz Reduction in Strength of High Level Operations. [Citation Graph (1, 0)][DBLP ] Conf ] Ken Kennedy , Linda Zucconi Applications of Graph Grammar for Program Control Flow Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Nijholt On the Covering of Left Recursive Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Charles N. Fischer , D. R. Milton , S. B. Quiring An Efficient Insertion-Only Error-Corrector for LL(1) Parsers. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reif , Harry R. Lewis Symbolic Evaluation and the Global Value Graph. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey M. Barth An Interprocedural Data Flow Analysis Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Norihisa Suzuki , Kiyoshi Ishihata Implementation of an Array Bound Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz , Zohar Manna The Evolution of Programs: A System for Automatic Program Modification. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. Doeppner Jr. Parallel Program Correctness Through Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Alan J. Demers Generalized Left Corner Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Eljas Soisalon-Soininen Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions. [Citation Graph (0, 0)][DBLP ] Conf ] Vaughan R. Pratt The Competence/Performance Dichotomy in Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Eric C. R. Hehner Structuring. [Citation Graph (0, 0)][DBLP ] Conf ] Richard A. DeMillo , Richard J. Lipton , Alan J. Perlis Social Processes and Proofs of Theorems and Programs. [Citation Graph (0, 0)][DBLP ] Conf ] G. Berry , J. J. Levy Minimal and Optimal Computations of Recursive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Lang Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cousot , Radhia Cousot Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. [Citation Graph (8, 0)][DBLP ] Conf ] Harry R. Lewis The Equivalence Problem for Program Schemata with Nonintersecting Loops. [Citation Graph (0, 0)][DBLP ] Conf ] Russell R. Atkinson , Carl Hewitt Parallelism and Synchronization in Actor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 