Conferences in DBLP
Thomas W. Reps , Susan Horwitz Semantics-Based Program Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Graham Gough , Howard Barringer A Semantics Driven Temporal Verification System. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Krieg-Brückner Algebraic Formalisation of Program Development by Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Yukihide Takayama QPC: QJ-based Proof Compiler - Simple Examples and Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] N. W. P. van Diepen Implementation of Modular Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Dietrich , Frank Hagl A Polymorphic Type System with Subtypes for Prolog. [Citation Graph (1, 0)][DBLP ] Conf ] You-Chin Fuh , Prateek Mishra Type Inference with Subtypes. [Citation Graph (2, 0)][DBLP ] Conf ] Marie-Claude Gaudel , Th. Moineau A Theory of Software Reusability. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Kaes Parametric Overloading in Polymorphic Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Parigot Programming with Proofs: A Second Order Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Bretz , Jürgen Ebert An Exception Handling Construct for Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhold Heckmann A Functional Language for the Specification of Complex Tree Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Simon M. Kaplan , Gail E. Kaiser Garp: Graph Abstractions for Concurrent Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Remi Legrand Extending Functional Programming Towards Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Aiken , Alexandru Nicolau Perfect Pipelining: A New Loop Parallelization Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Consel New Insights into Partial Evaluation: the SCHISM Experiment. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Giegerich , Karl Schmal Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors. [Citation Graph (0, 0)][DBLP ] Conf ] Susan Horwitz Adding Relational Query Facilities to Software Development Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Dean Jacobs , Anno Langen Compilation of Logic Programs for Restricted And-Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Laville Implementation of Lazy Pattern Matching Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Martelli , Gianfranco Rossi Enhancing Prolog to Support Prolog Programming Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Nielson , Hanne Riis Nielson 2-level lambda-lifting. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Wadler Deforestation: Transforming Programs to Eliminate Trees. [Citation Graph (1, 0)][DBLP ] Conf ] Patrick Weemeeuw , Maurice Bruynooghe , Marleen De Haondt On Implementing Logic Programming Languages on a Dataflow Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Bahlke , Gregor Snelting The PSG System: From Formal Language Definitions to Interactive Programming Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Bert , Pascal Drabik , Rachid Echahed , Olivier Declerfayt , Demeuse Demeuse , Pierre-Yves Schobbens , François Wautier LPG: A Generic, Logic and Functional Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Bertling , Harald Ganzinger , Renate Schäfers CEC: A System for the Completion of Conditional Equational Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhold Heckmann A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). [Citation Graph (0, 0)][DBLP ] Conf ] 