Conferences in DBLP
Mads Dam , Frank Jensen Compiler Generation from Relational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Nielson Correctness of Code Generation from a Two-Level Meta-Language. [Citation Graph (0, 0)][DBLP ] Conf ] Kay-Ulrich Felgentreu , Wolfram-Manfred Lippe A General Approach to the Optimization of Function Calls. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Kastens , M. Schmidt Lifetime Analysis for Procedure Parameters. [Citation Graph (0, 0)][DBLP ] Conf ] Hugh Glaser , Sean Hayes Another Implementation Technique for Applicative Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Bellot GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Hankin , Geoffrey L. Burn , Simon L. Peyton Jones A Safe Approach to Parallel Combinator Reduction (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Corrado Böhm Reducing Recursion to Iteration by Algebraic Extension. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Bert , Rachid Echahed Design and Implementation of a Generic, Logic and Functional Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Hanne Riis Nielson , Flemming Nielson Pragmatic Aspects of Two-Level Denotational Meta-Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Naftalin An Experiment in Practical Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Elias Dahlhaus , Johann A. Makowsky The Choice of Programming Primitives for SETL-Like Programming Languages. [Citation Graph (1, 0)][DBLP ] Conf ] Gilles Bernot , Michel Bidoit , Christine Choppy Algebraic Semantics of Exception Handling. [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He , C. A. R. Hoare , Jeff W. Sanders Data Refinement Refined. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene W. Stark Proving Entailment Between Conceptual State Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Rémi Triolet , Paul Feautrier , François Irigoin Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Jouvelot Parallelization by Semantic Detection of Reductions. [Citation Graph (0, 0)][DBLP ] Conf ] Joost N. Kok Denotational Semantics of Nets with Nondeterminism. [Citation Graph (0, 0)][DBLP ] Conf ] Airi Salminen Specification of a Tool for Viewing Program Text. [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Boizumault A Classical Implementation for Prolog-II. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Mello , Antonio Natali Programs as Collections of Communicating Prolog Units. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Schwinn , Gerhard Barth An And-Parallel Execution Model of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jiro Tanaka , Makoto Kishishita Compiling Extended Concurrent Prolog - Single Queue Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Codognet , Philippe Codognet , Gilberto Filé A Very Intelligent Backtracking Method for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Søndergaard An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Alfons Geser , Heinrich Hußmann Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Kaplan Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] 