Conferences in DBLP
Cliff B. Jones Some Practical Problems and Their Influence on Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Simon L. Peyton Jones Compiling Haskell by Program Transformation: A Report from the Trenches. [Citation Graph (0, 0)][DBLP ] Conf ] María Alpuente , Moreno Falaschi , Germán Vidal Narrowing-Driven Partial Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Barbuti , Paolo Mancarella A Multiple-Valued Logical Semantics for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Bechet Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Bergstra , T. B. Dinesh , John Field , Jan Heering A Complete Transformational Toolkit for Compilers. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Bueno , Daniel Cabeza Gras , Manuel V. Hermenegildo , Germán Puebla Global Analysis of Standard Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fradet , Ronan Caugne , Daniel Le Métayer Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi , Francesco Ranzato Compositional Optimization of Disjunctive Abstract Interpretations. [Citation Graph (0, 0)][DBLP ] Conf ] J. C. González-Moreno , Maria Teresa Hortalá-González , Francisco Javier López-Fraguas , Mario Rodríguez-Artalejo A Rewriting Logic for Declarative Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Goubault Durations for Truly-Concurrent Transitions. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas P. Jensen , Ian Mackie Flow Analysis in the Geometry of Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] John Launchbury , Ross Paterson Parametricity and Unboxing with Unpointed Types. [Citation Graph (0, 0)][DBLP ] Conf ] Sheng Liang , Paul Hudak Modular Denotational Semantics for Compiler Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Florence Maraninchi , Nicolas Halbwachs Compositional Semantics of Non-Deterministic Synchronous Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Melzer , Javier Esparza Checking System Properties via Integer Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Montanari , Marco Pistore , Daniel Yankelevich Efficient Minimization up to Location Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Palsberg , Boaz Patt-Shamir , Karl J. Lieberherr A New Approach to Compiling Adaptive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ekkehard Rohwedder , Frank Pfenning Mode and Termination Checking for Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Eva Rose Linear Time Hierarchies for a Functional Language Machine Model. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Seidl Integer Constraints to Stop Deforestation. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey Smith , Dennis M. Volpano Towards an ML-Style Polymorphic Type System for C. [Citation Graph (0, 0)][DBLP ] Conf ] Ketil Stølen Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Thuné , Krister Åhlander Towards an Expressive Language for PDE Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen van Bakel , Franco Barbanera , Maribel Fernández Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. [Citation Graph (0, 0)][DBLP ] Conf ] 