Conferences in DBLP
Graeme E. Moss , Colin Runciman Automated Benchmarking of Functional Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Luigi Palopoli , Andrea Schaerf , Domenico Vasile NP-SPEC: An Executable Specification Language for Solving All Problems in NP. [Citation Graph (0, 0)][DBLP ] Conf ] Patricio Letelier , Pedro Sánchez , Isidro Ramos Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bozzano , Giorgio Delzanno , Maurizio Martelli , Viviana Mascardi , Floriano Zini Multi-agent Systems Development as a Software Engineering Enterprise. [Citation Graph (0, 0)][DBLP ] Conf ] Conal Elliott From Functional Animation to Sprite-Based Display. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfram Kahl Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. [Citation Graph (0, 0)][DBLP ] Conf ] John Peterson , Paul Hudak , Conal Elliott Lambda in Motion: Controlling Robots with Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Demoen , Konstantinos F. Sagonas CHAT: The Copy-Hybrid Approach to Tabling. [Citation Graph (0, 0)][DBLP ] Conf ] Marcio G. Silva , Inês de Castro Dutra , Ricardo Bianchini , Vítor Santos Costa The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Rocha , Fernando M. A. Silva , Vítor Santos Costa Or-Parallelism within Tabling. [Citation Graph (0, 0)][DBLP ] Conf ] Håkan Mattsson , Hans Nilsson , Claes Wikstrom Mnesia - A Distributed Robust DBMS for Telecommunications Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Babu Siddabathuni , Suzanne W. Dietrich , Susan Darling Urban An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language. [Citation Graph (0, 0)][DBLP ] Conf ] Raul Hakli , Matti Nykänen , Hellis Tamm , Esko Ukkonen Implementing a Declarative String Query Language with String Restructuring. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Meijer , Daan Leijen , James Hook Client-Side Web Scripting with HaskellScript. [Citation Graph (0, 0)][DBLP ] Conf ] David Jeffery , Tyson Dowd , Zoltan Somogyi MCORBA: A CORBA Binding for Mercury. [Citation Graph (0, 0)][DBLP ] Conf ] Hongwei Xi Dead Code Elimination through Dependent Types. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Ferreira , Luís Damas Multiple Specialization of WAM Code. [Citation Graph (0, 0)][DBLP ] Conf ] Wamberto Weber Vasconcelos A Flexible Framework for Dynamic and Static Slicing of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Arvind K. Bansal , Peer Bork Applying Logic Programming to Derive Novel Functional Information of Genomes. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Watson An Application of Action Theory to the Space Shuttle. [Citation Graph (0, 0)][DBLP ] Conf ] Timo Soininen , Ilkka Niemelä Developing a Declarative Rule Language for Applications in Product Configuration. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Joachim Goltz , Dirk Matzke University Timetabling Using Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Carlsson , Per Kreuger , Emil Åström Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Laï Using Constraints in Local Proofs for CLP Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Schmidt A Return to Elegance: The Reapplication of Declarative Notation to Software Design. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Wallace , Joachim Schimpf ECLiPSe: Declarative Specification and Scaleable Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] 