- Vicente Benjumea, José M. Troya:
An OR Parallel Prolog Model for Distributed Memory Systems. PLILP 1993: 291-301 - Johan Boye:
Avoiding Dynamic Delays in Functional Logic Programs. PLILP 1993: 12-27 - Michele Bugliesi
, Giuseppe Nardiello:
SelfLog: Language and Implementation. PLILP 1993: 412-413 - Geoffrey Livingston Burn, Daniel Le Métayer:
Proving the Correctness of Compiler Optimizations Based on Strictness Analysis. PLILP 1993: 346-364 - P. Canalda, L. Cognard, Annie Despland, Monique Mazaud:
PAGODE: a Back End Generator. PLILP 1993: 410-411 - David Clark, Chris Hankin:
A Lattice of Abstract Graphs. PLILP 1993: 318-331 - 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: 75-91 - John Darlington, Yike Guo, Martin Köhler:
Functional Programming Languages with Logical Variables: A Linear Logic View. PLILP 1993: 201-219 - Alexander Ja. Dikovsky:
Abstract Complexity of Prolog Based on WAM. PLILP 1993: 365-377 - Agostino Dovier, Enrico Pontelli:
A WAM-Based Implementation of a Logical Language with Sets. PLILP 1993: 275-290 - Michael Hanus, Berthold Josephs:
A Debugging Model for Functional Logic Programs. PLILP 1993: 28-43 - Guido Hogen, Rita Loogen:
Stack Management of Runtime Structures in Distributed Implementations. PLILP 1993: 416-417 - Martin Jourdan, Carole Le Bellec, Didier Parigot, Gilles Roussel:
Specification and Implementation of Grammar Couplings using Attribute Grammars. PLILP 1993: 123-136 - Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond:
Embedding Declarative Subprograms into Imperative Constructs. PLILP 1993: 414-415 - Jean Jourdan, Thierry Sola:
The Versatility of Handling Disjunctions as Constraints. PLILP 1993: 60-74 - Andreas Kågedal:
Improvements in Compile-Time Analysis for Ground Prolog. PLILP 1993: 92-107 - Owen Kaser:
Inlining to Reduce Stack Space. PLILP 1993: 262-274 - Uwe Kastens:
Executable Specifications for Language Implementation. PLILP 1993: 1-11 - Christoph W. Keßler, Thomas Rauber:
Efficient Register Allocation for Large Basic Blocks. PLILP 1993: 418-419 - Alexander A. Letichevsky:
Development of Rewriting Strategies. PLILP 1993: 378-390 - Pierre Lim, Joachim Schimpf:
A Conservative Approach to Meta-Programming in Constraint Logic Programming. PLILP 1993: 44-59 - Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo:
A Demand Driven Computation Strategy for Lazy Narrowing. PLILP 1993: 184-200 - Andrei Mantsivoda:
Flang and its Implementation. PLILP 1993: 151-166 - Remco Moolenaar, Bart Demoen:
A Parallel Implementation for AKL. PLILP 1993: 246-261 - Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans:
Efficient Lazy Narrowing using Demandedness Analysis. PLILP 1993: 167-183 - Antonio Natali, Andrea Omicini:
Objects with State in Contextual Logic Programming. PLILP 1993: 220-234 - Mark-Jan Nederhof:
A New Top-Down Parsing Algorithm for Left-Recursive DCGs. PLILP 1993: 108-122 - Arnd Poetzsch-Heffter:
Programming Language Specification and Prototyping Using the MAX System. PLILP 1993: 137-150 - Mads Rosendahl:
Higher-Order Chaotic Iteration Sequences. PLILP 1993: 332-345 - Maurice Bruynooghe, Jaan Penjam:
Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings. Lecture Notes in Computer Science 714, Springer 1993, ISBN 3-540-57186-8 [contents]
