Search results for "PLILP"

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

Publications at "PLILP"( http://dblp.L3S.de/Venues/PLILP )