Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bo-Ming Tong, Ho-fung Leung |
Performance of A Data-Parallel Concurrent Constraint Programming System |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mehl, Ralf Scheidhauer, Christian Schulte 0001 |
An Abstract Machine for Oz |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | José Paulo Leal |
A System to Visualize and Interact with Prolog Programs. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal, Morten Welinder |
Hand-Writing Program Generator Generators. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto |
Sleepers: A Versatile High-Level Control Mechanism. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau, Ulrich Neumerkel |
A Novel Term Compression Scheme and Data Representation in the BinWAM. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
implementation of Prolog, term representation, last argument overlapping, continuation passing style, WAM |
1 | Michael Hanus |
Combining Lazy Narrowing and Simplification. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Feliks Kluzniak, Miroslawa Milkowska |
Readable, Runnable Requirements Specifications in SPILL-2. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Chikayama, Tetsuro Fujise, Daigo Sekita |
A Portable and Efficient Implementation of KL1. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Luc Moreau 0001, Christian Queinnec |
Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gerda Janssens, Maurice Bruynooghe, Vincent Englebert |
Abstracting Numerical Values in CLP(H, N). |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | François Fages, Julian Fowler, Thierry Sola |
Handling Preferences in Constraint Logic Programming with Relational Optimization. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
hierarchical constraint logic programming, optimization, preference, constraint logic programming |
1 | John Maraist, Frank S. K. Silbermann |
A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Timo Metzemakers, Alain Miniussi, David J. Sherman, Robert Strandh |
Improving Arithmetic Performance using Fine-Grain Unfolding. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Donald A. Smith |
Why Multi-SLD Beats SLD (Even on a Uniprocessor). |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Odinaldo Rodrigues, Mario R. F. Benevides |
PROMAL - Programming in Modal Action Logic. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Breitinger, Hendrik C. R. Lock |
Improving Search for Job-Shop Scheduling with CLP(FD). |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Grivas |
Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Johannes-Bernhard Hundehege, Wolfram-Manfred Lippe, U. Xanten |
Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Hasan M. Jamil |
A Logic for Encapsulation in Object Oriented Languages. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Manolis Gergatsoulis, Maria Katzouraki |
Unfold/Fold Transformations For Definite Clause Programs. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Robert Paige |
Viewing A Program Transformation System At Work. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Khaled Bsaïes |
Implementing the Synthesis of Properties in Unfold/Fold Transformations. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi |
Abstracting Synchronization in Concurrent Constraint Programming. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Johan Bevemyr, Thomas Lindgren |
A Simple and Efficient Copying Garbage Collector for Prolog. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John Field, Frank Tip |
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Schulte |
Deriving Residual Reference Count Garbage Collectors. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
applicative languages, transformational program development, optimization, garbage collection, storage management, reference counts |
1 | Andrei Mantsivoda |
Flang System: A new Version. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Abdelkader Belkhir, Namick Nemouche |
Towards Integrating Functional and Logic Styles Using Relation. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi |
Concurrent Constraint Programming. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas |
Combining Lazy Narrowing with Disequality Constraints. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück, Morten Heine Sørensen |
Partial Deduction and Driving are Equivalent. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez, Werner Hans, José J. Ruz, Stephan Winkler |
Shared Memory System for Babel: a VHDL Specification. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
An Implementation Technique for a Class of Bottom-Up Procedures. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Codognet, Daniel Diaz 0001 |
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Serrano |
Using Higher-Order Control Flow Analysis When Compiling Functional Languages. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker |
Abstracting s-semantincs Using A Model-Theoretic Approach. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
Specifications Using Multiple-Conclusion Logic Programs. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Barklund |
Tabulation of Functions in Definite Clause Programs. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini |
Implementations of Program Composition Operations. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Lutz H. Hamel, Joseph A. Goguen |
Towards a Provably Correct Compiler for OBJ3. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
compilers, algebraic specification, abstract machines, rewrite rules |
1 | Manuel V. Hermenegildo, Jaan Penjam (eds.) |
Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Pettersson |
RML - A New Language and Implementation for Natural Semantics. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Thom W. Frühwirth |
Annotated Constraint Logic Programming Applied to Temporal Reasoning. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Livingston Burn, Daniel Le Métayer |
Proving the Correctness of Compiler Optimizations Based on Strictness Analysis. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jean Jourdan, Thierry Sola |
The Versatility of Handling Disjunctions as Constraints. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Kågedal |
Improvements in Compile-Time Analysis for Ground Prolog. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Owen Kaser |
Inlining to Reduce Stack Space. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Martin Jourdan, Carole Le Bellec, Didier Parigot, Gilles Roussel 0001 |
Specification and Implementation of Grammar Couplings using Attribute Grammars. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Kastens |
Executable Specifications for Language Implementation. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Alexander A. Letichevsky |
Development of Rewriting Strategies. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier |
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond |
Embedding Declarative Subprograms into Imperative Constructs. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Bruynooghe, Jaan Penjam (eds.) |
Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mads Rosendahl |
Higher-Order Chaotic Iteration Sequences. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | David Clark 0001, Chris Hankin |
A Lattice of Abstract Graphs. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Vicente Benjumea, José M. Troya |
An OR Parallel Prolog Model for Distributed Memory Systems. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Berthold Josephs |
A Debugging Model for Functional Logic Programs. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christoph W. Keßler, Thomas Rauber |
Efficient Register Allocation for Large Basic Blocks. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Natali, Andrea Omicini |
Objects with State in Contextual Logic Programming. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Barklund, Johan Bevemyr |
Executing Bounded Quantifications on Shared Memory Multiprocessors. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Giuseppe Nardiello |
SelfLog: Language and Implementation. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | John Darlington, Yike Guo, Martin Köhler |
Functional Programming Languages with Logical Variables: A Linear Logic View. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Remco Moolenaar, Bart Demoen |
A Parallel Implementation for AKL. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Khayri A. M. Ali, Roland Karlsson |
A Novel Method for Parallel Implementation of findall. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal |
Narrowing Approximations as an Optimization for Equational Logic Programs. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ja. Dikovsky |
Abstract Complexity of Prolog Based on WAM. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mark-Jan Nederhof |
A New Top-Down Parsing Algorithm for Left-Recursive DCGs. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Poetzsch-Heffter |
Programming Language Specification and Prototyping Using the MAX System. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans |
Efficient Lazy Narrowing using Demandedness Analysis. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Mantsivoda |
Flang and its Implementation. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Dovier, Enrico Pontelli |
A WAM-Based Implementation of a Logical Language with Sets. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | P. Canalda, L. Cognard, Annie Despland, Monique Mazaud |
PAGODE: a Back End Generator. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Martin Helmut Alt, Georg Sander, Reinhard Wilhelm |
Generation of Synchronization Code for Parallel Compilers. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lim, Joachim Schimpf |
A Conservative Approach to Meta-Programming in Constraint Logic Programming. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Guido Hogen, Rita Loogen |
Stack Management of Runtime Structures in Distributed Implementations. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
A Demand Driven Computation Strategy for Lazy Narrowing. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Johan Boye |
Avoiding Dynamic Delays in Functional Logic Programs. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dave Cattrall, Colin Runciman |
A Relational Programming System with Inferred Representations. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Kristof Verschaetse, Danny De Schreye |
Deriving of Linear Size Relations by Abstract Interpretation. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christine Solnon, Michel Rueher |
Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jaak Vilo |
Implementing Attribute Grammars by Computational Models. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean Henrard, Baudouin Le Charlier |
FOLON: An Environment for Declarative Construction of Logic Programs. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michel Dorochevsky, André Véron |
Binding Techniques and Garbage Collection for OR-Parallel CLP Systems. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jan A. Plaza |
Fully Declarative Logic Programming. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Bruynooghe, Martin Wirsing (eds.) |
Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Attali, Jacques Chazarain, Serge Gilette |
Incremental Evaluation of Natural Semantics Specification. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Reus |
Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hermano P. Moura |
An Implementation of Action Semantics (Summaray). |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Francis Alexandre |
A technique for Transforming Logic Programs by Fold-Unfold Transformations. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
definite program, fold-unfold, program transformation, schema |
1 | Peter Thiemann 0001 |
LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Werner Hans, Rita Loogen, Stephan Winkler |
On the Interaction of Lazy Evaluation and Backtracking. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mariam Kamkar, Nahid Shahmehri, Peter Fritzson |
Interprocedural Dynamic Slicing. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Improving Control of Logic Programs by Using Functional Logic Languages. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Lutz H. Hamel |
UCG-E: An Equational Logic Programming System. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Alessandro Pellegrini 0002 |
Why the Occur-Check is Not a Problem. (long version: TOPLAS 16(3): 687-726 (1994)) |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Werner Hans |
A Complete Indexing Scheme for WAM-based Abstract Machines. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Pennings, S. Doaitse Swierstra, Harald Vogt |
Using Cached Functions and Constructors for Incremental Attribute Evaluation. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gary Lindstrom, Jan Maluszynski, Takeshi Ogi |
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Samuel A. Rebelsky |
I/O Trees and Interactive Lazy Functional Programming. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|