Conferences in DBLP
Sergiu Hart , Micha Sharir , Amir Pnueli Termination of Probabilistic Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Liskov , Robert Scheifler Guardians and Actions: Linguistic Support for Robust, Distributed Programs. [Citation Graph (8, 0)][DBLP ] Conf ] Pierre Wolper Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Wall Messages as Active Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Nissim Francez Extended Naming Conventions for Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reif , Paul G. Spirakis Unbounded Speed Variability in Distributed Communication Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Lipton , Robert Sedgewick , Jacobo Valdes Programming Aspects of VLSI. [Citation Graph (1, 0)][DBLP ] Conf ] Neil D. Jones , Steven S. Muchnick A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Giegerich Automatic Generation of Machine Specific Code Optimizers. [Citation Graph (0, 0)][DBLP ] Conf ] M. V. S. Ramanath , Marvin H. Solomon Optimal Code for Control Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney Farrow Experience with an Attribute Grammar-Based Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] Mahadevan Ganapathi , Charles N. Fischer Description-Driven Code Generation using Attribute Grammars. [Citation Graph (1, 0)][DBLP ] Conf ] John L. Hennessy , Thomas R. Gross Code Generation and Reorganization in the Presence of Pipeline Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jack W. Davidson , Christopher W. Fraser Eliminating Redundant Object Code. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Borning , Daniel H. H. Ingalls A Type Declaration and Inference System for Smalltalk. [Citation Graph (2, 0)][DBLP ] Conf ] David Sandberg Lithe: A Language Combining a Flexible Syntax, Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Unified Dialogue Management in the Carousel System. [Citation Graph (0, 0)][DBLP ] Conf ] Paul J. Voda Maple: a Programming Language, Operating System. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. Reps Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors. [Citation Graph (3, 0)][DBLP ] Conf ] Seppo Sippu , Eljas Soisalon-Soininen Practical Error Recovery in LR Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory F. Johnson , Charles N. Fischer Non-Syntactic Attribute Flow in Language Based Editors. [Citation Graph (0, 0)][DBLP ] Conf ] Fahimeh Jalili , Jean H. Gallier Building Friendly Parsers. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Damas , Robin Milner Principal Type-Schemes for Functional Programs. [Citation Graph (2, 0)][DBLP ] Conf ] Vaughan R. Pratt On the Composition of Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence C. Paulson A Semantics-Directed Compiler Generator. [Citation Graph (0, 0)][DBLP ] Conf ] Mitchell Wand Semantics-Directed Machine Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Martin C. Henson , Raymond Turner Completion Semantics, Interpreter Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Henryk Jan Komorowski Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Juergen Boehm A Logic for Expressions with Side-Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Shaula Yemini An Axiomatic Treatment of Exception Handling. [Citation Graph (0, 0)][DBLP ] Conf ] E. Gansner , Joseph R. Horgan , Chandra M. R. Kintala , D. J. Moore , P. Surko Semantics and Correctness of a Query Language Translation. [Citation Graph (1, 0)][DBLP ] Conf ] Ehud Y. Shapiro Algorithmic Program Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke , Steven M. German , Joseph Y. Halpern On Effective Axiomatizations of Hoare Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Brent Hailpern , Susan S. Owicki Modular Verification of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Albert R. Meyer , John C. Mitchell Axiomatic Definability and Completeness for Recursive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Rivi Sherman , Amir Pnueli , David Harel Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. [Citation Graph (0, 0)][DBLP ] Conf ] Eric C. Cooper On the Expressive Power of Query Languages for Relational Databases. [Citation Graph (4, 5)][DBLP ] Conf ] Adrienne Critcher On the Ability of Structures to Store and Access Information. [Citation Graph (0, 0)][DBLP ] Conf ] 