Conferences in DBLP
Andrew W. Appel , David B. MacQueen Standard ML of New Jersey. [Citation Graph (1, 0)][DBLP ] Conf ] Lee Naish Adding equations to NU-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Susumu Yamasaki Extraction of Functional from Logic Program. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz Kredel The MAS Specification Component. [Citation Graph (0, 0)][DBLP ] Conf ] T. C. Nicholas Graham , Gerd Kock Domesticating Imperative Constructs So That They Can Live in a Functional World. [Citation Graph (0, 0)][DBLP ] Conf ] Arnd Poetzsch-Heffter Logic-Based Specification of Visibility Rules. [Citation Graph (0, 0)][DBLP ] Conf ] M. Anton Ertl , Andreas Krall Optimal Instruction Scheduling using Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Baiardi , D. M. Bella An Architectural Model for OR-Parallelism on Distributed Memory Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Koen Langendoen , Willem G. Vree FRATS: A Parallel Reduction Strategy for Shared Memory. [Citation Graph (0, 0)][DBLP ] Conf ] María Alpuente , Moreno Falaschi Narrowing as an Incremental Constraint Satisfaction Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel M. T. Chakravarty , Hendrik C. R. Lock The Implementation of Lazy Narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Consel , Siau-Cheng Khoo Semantics-Directed Generation of a Prolog Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Bart Demoen A Framework to Specify Database Update Views for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Szabolcs Ferenczi Concepts for a Modular and Distributed Prolog Language. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Davison From Parlog to Polka in two easy Steps. [Citation Graph (0, 0)][DBLP ] Conf ] Annika Aasa Precedences in Specifications and Implementations of Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph W. Keßler , Wolfgang J. Paul , Thomas Rauber A Randomized Heuristic Approach to Register Allocation [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Halbwachs , Pascal Raymond , Christophe Ratel Generating Efficient Code From Data-Flow Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Cornelis H. A. Koster , Jean Beney On the Borderline Between Grammars and Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Vogt , S. Doaitse Swierstra , Matthijs F. Kuiper Efficient Incremental Evaluation of Higher order Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Jukka Paakki PROFIT: A System Integrating Logic Programming and Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Aït-Kaci , Andreas Podelski Towards a Meaning of LIFE. [Citation Graph (2, 0)][DBLP ] Conf ] Paul Y. Gloess U-Log, An Ordered Sorted Logic with Typed Attributes. [Citation Graph (0, 0)][DBLP ] Conf ] Weidong Chen , David Scott Warren Compilation of Predicate Abstractions in Higher-Order Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Ulf Nilsson Abstract Interpretation: A Kind of Magic. [Citation Graph (0, 0)][DBLP ] Conf ] Gilberto Filé , P. Sottero Abstract Interpretation for Type Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Fosca Giannotti , Manuel V. Hermenegildo A Technique for Recursive Invariance Detection and Selective Program Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Rita Loogen , Stephan Winkler Dynamic Detection of Determinism in Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Proietti , Alberto Pettorossi Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] P. H. Cheong , Laurent Fribourg Efficient Integration of Simplifications into Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Antoy Lazy Evaluation in Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Boye S-SLD-resolution - An Operational Semantics for Logic Programs with External Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Van Hentenryck , Yves Deville Operational Semantics of Constraint Logic Programming over Finite Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Maurizio Gabbrielli Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Loyola Extending Execution Trees for Debugging and Animation in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Fraus , Heinrich Hußmann A Narrowing-Based Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus The ALF System. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Vollmer Experiences with Gentle: Efficient Compiler Construction Based On Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Beate Baum , Peter Forbrig The System FLR (Fast Laboratory for Recomposition). [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Attardi , Mauro Gaspari Multilanguage Interoperability. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Legeard , Emmanuel Legros Short Overview of the CLPS System. [Citation Graph (1, 0)][DBLP ] Conf ] 