Conferences in DBLP
Mitchell Wand Embedding Type Structure in Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Prateek Mishra , Uday S. Reddy Declaration-Free Type Checking. [Citation Graph (1, 0)][DBLP ] Conf ] Robert Cartwright Types as Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Mitchell , Gordon D. Plotkin Abstract Types Have Existential Type. [Citation Graph (4, 0)][DBLP ] Conf ] Kokichi Futatsugi , Joseph A. Goguen , Jean-Pierre Jouannaud , José Meseguer Principles of OBJ2. [Citation Graph (2, 0)][DBLP ] Conf ] Donald Sannella , Andrzej Tarlecki Program Specification and Development in Standard ML. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie Lamport What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority. [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , Chin-Laung Lei Modalities for Model Checking: Branching Time Strikes Back. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Lichtenstein , Amir Pnueli Checking That Finite State Concurrent Programs Satisfy Their Linear Specification. [Citation Graph (2, 0)][DBLP ] Conf ] Joseph Y. Halpern , John H. Williams , Edward L. Wimmers , Timothy C. Winkler Denotational Semantics and Rewrite Rules for FP. [Citation Graph (1, 0)][DBLP ] Conf ] Van Nguyen , David Gries , Susan S. Owicki A Model and Temporal Proof System for Networks of Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Leivant Logical and Mathematical Reasoning about Imperative Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory F. Johnson , Charles N. Fischer A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors. [Citation Graph (0, 0)][DBLP ] Conf ] Lori L. Pollock , Mary Lou Soffa Incremental Compilation of Locally Optimized Code. [Citation Graph (0, 0)][DBLP ] Conf ] Ray Ford , Duangkaew Sawamiphakdi A Greedy Approach to Incremental Code Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Jeanne Ferrante , Mary Mace On Linearizing Parallel Code. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas S. Anantharaman , Edmund M. Clarke , Michael J. Foster , Bud Mishra Compiling Path Expressions into VLSI Circuits. [Citation Graph (1, 0)][DBLP ] Conf ] Leslie Lamport , Fred B. Schneider Constraints: A Uniform Approach to Aliasing and Typing. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher W. Fraser , David R. Hanson High-Level Language Facilities for Low-Level Services. [Citation Graph (0, 0)][DBLP ] Conf ] Michael B. Jones , Richard F. Rashid , Mary R. Thompson Matchmaker: An Interface Specification Language for Distributed Processing. [Citation Graph (3, 0)][DBLP ] Conf ] Walter F. Tichy , Mark C. Baker Smart Recompilation. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel P. Friedman , Christopher T. Haynes Constraining Control. [Citation Graph (0, 0)][DBLP ] Conf ] Julian A. Padget , John Fitch Closurize and Concentrate. [Citation Graph (0, 0)][DBLP ] Conf ] Gary Lindstrom Functional Programming and the Logical Variable. [Citation Graph (0, 0)][DBLP ] Conf ] Keith D. Cooper Analyzing Aliases of Reference Formal Parameters. [Citation Graph (0, 0)][DBLP ] Conf ] Mark N. Wegman , F. Kenneth Zadeck Constant Propagation with Conditional Branches. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Hudak , Adrienne Bloss The Aggregate Update Problem in Functional Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew W. Appel Semantics-Directed Code Generation. [Citation Graph (0, 0)][DBLP ] Conf ] David Bernstein , Ron Y. Pinter , Michael Rodeh Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred V. Aho , Mahadevan Ganapathi Efficient Tree Pattern Matching: An Aid to Code Generation. [Citation Graph (0, 0)][DBLP ] Conf ] 