Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo |
Independent AND-Parallel Implementation of Narrowing. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Torben Amtoft |
Unfold/fold Transformations Preserving Termination Properties. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andy Mück |
CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Carsten K. Gomard, Peter Sestoft |
Path Analysis for Lazy Data Structures. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck |
Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Nilsson, Peter Fritzson |
Algorithmic Debugging for Lazy Functional Languages. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christian Holzbaur |
Metastructures versus Attributed Variables in the Context of Extensible Unification. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter Barth |
CLP(PB), A Meta-Interpreter in CLP(R). |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Chu Min Li, Paul Y. Gloess |
ProQuery: Logical Access to an OODB. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kahrs |
Unlimp, Uniqueness as a Leitmotiv for Implementation. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mads Rosendahl |
Strictness Analysis for Attribute Grammars. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alain Hui-Bon-Hoa |
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
BinProlog: a Continuation Passing Style Prolog Engine. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mireille Ducassé |
A General Trace Query Mechanism Based on Prolog. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Sadeph Saidi, Jean-François Boulicaut |
Checking and Debugging of Two-level Grammars. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
On Safe Folding. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
computed answer substitution semantics, Program transformation, folding |
1 | Andreas Krall, Thomas Berger |
Fast Prolog with VAM1p based Prolog Compiler. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | François Barthélemy, Éric Villemonte de la Clergerie |
Subsumption-oriented Push-Down Automata. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Moreno Falaschi, Ferdinando Manzo |
Analyses of Inconsistency for Incremental Equational Logic Programming. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
Equational logic programming, universal unification, Abstract interpretation, term rewriting systems |
1 | Jürgen Vollmer 0001 |
Experiences with Gentle: Efficient Compiler Construction Based On Logic Programming. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Fraus, Heinrich Hußmann |
A Narrowing-Based Theorem Prover. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Legeard, Emmanuel Legros |
Short Overview of the CLPS System. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
Key-Words Logic Programming, set languages, constraints, Prolog, CLPS |
1 | Lee Naish |
Adding equations to NU-Prolog. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Kredel |
The MAS Specification Component. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Moreno Falaschi |
Narrowing as an Incremental Constraint Satisfaction Algorithm. (long version: TCS 142(1): 27-57 (1995)) |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Susumu Yamasaki |
Extraction of Functional from Logic Program. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Rita Loogen, Stephan Winkler |
Dynamic Detection of Determinism in Functional Languages. (long version: TCS 142(1): 59-87 (1995)) |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jukka Paakki |
PROFIT: A System Integrating Logic Programming and Attribute Grammars. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Szabolcs Ferenczi |
Concepts for a Modular and Distributed Prolog Language. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber |
A Randomized Heuristic Approach to Register Allocation |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Diego G. Loyola |
Extending Execution Trees for Debugging and Animation in Logic Programming. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Beate Baum, Peter Forbrig |
The System FLR (Fast Laboratory for Recomposition). |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Cornelis H. A. Koster, Jean Beney |
On the Borderline Between Grammars and Programs. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Johan Boye |
S-SLD-resolution - An Operational Semantics for Logic Programs with External Procedures. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Baiardi, D. M. Bella |
An Architectural Model for OR-Parallelism on Distributed Memory Systems. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Annika Aasa |
Precedences in Specifications and Implementations of Programming Languages. (long version: TCS 142(1): 3-26 (1995)) |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Nilsson |
Abstract Interpretation: A Kind of Magic. (long version: TCS 142(1): 125-139 (1995)) |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck, Yves Deville |
Operational Semantics of Constraint Logic Programming over Finite Domains. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi, Maurizio Gabbrielli |
Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gilberto Filé, P. Sottero |
Abstract Interpretation for Type Checking. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. (long version: TCS 142(1): 89-124 (1995)) |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Halbwachs, Pascal Raymond, Christophe Ratel |
Generating Efficient Code From Data-Flow Programs. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Koen Langendoen, Willem G. Vree |
FRATS: A Parallel Reduction Strategy for Shared Memory. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Manuel M. T. Chakravarty, Hendrik C. R. Lock |
The Implementation of Lazy Narrowing. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Poetzsch-Heffter |
Logic-Based Specification of Visibility Rules. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Paul Y. Gloess |
U-Log, An Ordered Sorted Logic with Typed Attributes. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | T. C. Nicholas Graham, Gerd Kock |
Domesticating Imperative Constructs So That They Can Live in a Functional World. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Fosca Giannotti, Manuel V. Hermenegildo |
A Technique for Recursive Invariance Detection and Selective Program Specification. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming |
1 | P. H. Cheong, Laurent Fribourg |
Efficient Integration of Simplifications into Prolog. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper |
Efficient Incremental Evaluation of Higher order Attribute Grammars. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andrew W. Appel, David B. MacQueen |
Standard ML of New Jersey. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Aït-Kaci, Andreas Podelski |
Towards a Meaning of LIFE. (long version: JLP 16(3&4): 195-234) |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
The ALF System. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | M. Anton Ertl, Andreas Krall |
Optimal Instruction Scheduling using Constraint Logic Programming. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Davison 0001 |
From Parlog to Polka in two easy Steps. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Charles Consel, Siau-Cheng Khoo |
Semantics-Directed Generation of a Prolog Compiler. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Attardi, Mauro Gaspari |
Multilanguage Interoperability. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Weidong Chen 0005, David Scott Warren |
Compilation of Predicate Abstractions in Higher-Order Logic Programming. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Bart Demoen |
A Framework to Specify Database Update Views for Prolog. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jan Maluszynski, Martin Wirsing (eds.) |
Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy |
Lazy Evaluation in Logic. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau, Michel Boyer |
Elementary Logic Programs. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
logic program transformations, binary programs, fair evaluation, unfolding, metaprograms, OR-parallelism |
1 | Franz-Josef Grosch, Gregor Snelting |
Inference-Based Overloading Resolution for ADA. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Juhani Jaakola |
Modifying the Simplex Algorithm to a Constraint Solver. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Claude Kirchner, Patrick Viry |
Implementing Parallel Rewriting. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lim, David N. Morley |
Implementing a Meta-Logical Scheme. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krall, Ulrich Neumerkel |
The Vienna Abstract Machine. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Ian A. Mason, Carolyn L. Talcott |
Reasoning About Programs with Effects. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm |
A Logic-Based Approach to Data Flow Analysis Problem. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Compiling Logic Programs with Equality. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Mariam Kamkar, Nahid Shahmehri, Peter Fritzson |
Bug Localization by Algorithmic Debugging and Program Slicing. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Andy Mück |
Compilation of Narrowing. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lim, Peter J. Stuckey |
A Constraint Logic Programming Shell. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Bal Wang, R. K. Shyamasundar |
Towards a Characterization of Termination of Logic Programs. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Veroniek Dumortier, Maurice Bruynooghe |
On the Automatic Generation of Events in Delta Prolog. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
Delta Prolog, distributed Prolog, abstract interpretation |
1 | Andrea Asperti |
Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Pierre De Boeck, Baudouin Le Charlier |
Static Type Analysis of Prolog Procedures for Ensuring Correctness. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Dan Sahlin |
Finding the Least Fixed Point Using Wait-Declarations in Prolog. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Serge Le Huitouze |
A New Data Structure for Implementing Extensions to Prolog. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Nilsson |
Systematic Semantic Approximations of Logic Programs. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Christian Queinnec |
Compilation of Non-Linear, Second Order Patterns on S-Expressions. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Deransart, Jan Maluszynski (eds.) |
Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Fribourg |
A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Jifeng He 0001, Paritosh K. Pandya |
An Approach to Verifiable Compiling Specification and Prototyping. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy |
Efficient Data Representation in Polymorphic Languages. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
Logic Programming within a Functional Framework. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Christian Ferdinand |
Pattern Matching in a Functional Transformation Language using Treeparsing. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | François Bourdoncle |
Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Deransart, Bernard Lorho, Jan Maluszynski (eds.) |
Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings |
PLILP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Annie Despland, Monique Mazaud, Raymond Rakotozafy |
An Implementation of Retargetable Code Generators in Prolog. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Attali |
Compiling TYPOL with Attribute Grammars. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Weidong Dang |
Formal Specification of Interactive Languages Using Definite Clause Grammars. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Günter Riedewald, Uwe Lämmel |
Using an Attribute Grammar as a Logic Program. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Rangel Henriques |
A Semantic Evaluator Generating System in Prolog. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Feliks Kluzniak, Miroslawa Milkowska |
Towards a "Middle Road" Methodology for Writing Code Generators. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Nilsson |
Towards a Framework for the Abstract Interpretation of Logic Programs. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Voisin |
A Bottom-Up Adaption of Earley's Parsing Algorithm. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Monin |
A Compiler Written in Prolog: The Véda Experience. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Gary Lindstrom |
Static Analysis Of Functional Programs With Logic Variables. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|