- Germán Puebla, Manuel V. Hermenegildo:
Automatic Optimization of Dynamic Scheduling in Logic Programs. PLILP 1996: 475-476 - Peter Van Roy, Michael Mehl, Ralf Scheidhauer:
Integrating Efficient Records into Concurrent Constraint Programming. PLILP 1996: 438-453 - Salvatore Ruggieri:
Decidability of Logic Program Semantics and Applications to Testing. PLILP 1996: 347-362 - Enno Scholz:
PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming. PLILP 1996: 363-377 - Christian Schulte:
Oz Explorer: A Visual Constraint Programming Tool. PLILP 1996: 477-478 - Peter J. Stuckey, Vincent W. L. Tam:
Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. PLILP 1996: 423-437 - Peter Thiemann:
Implementing Memoization for Partial Evaluation. PLILP 1996: 198-212 - Geoffrey Weyer, William H. Winsborough:
Annotated Structure Shape Graphs for Abstract Analysis of Prolog. PLILP 1996: 92-106 - Herbert Kuchen, S. Doaitse Swierstra:
Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings. Lecture Notes in Computer Science 1140, Springer 1996, ISBN 3-540-61756-6 [contents] - 1995
- Peter Achten:
A Functional Framework for Deterministically Interleaved Interactive Programs. PLILP 1995: 451-452 - Puri Arenas-Sánchez, Agostino Dovier
:
Minimal Set Unification. PLILP 1995: 397-414 - Puri Arenas-Sánchez, Ana Gil-Luezas:
A Debugging Model for Lazy Narrowing. PLILP 1995: 453-454 - Erik Barendsen, Sjaak Smetsers:
Uniqueness Type Inference. PLILP 1995: 189-206 - Xavier Burgués Illa, Xavier Franch:
Evaluation of Expressions in a Multiparadigm Framework. PLILP 1995: 455-456 - Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing:
A New Strategy for Semantic Matching. PLILP 1995: 81-96 - Wei-Ngan Chin, Siau-Cheng Khoo:
Better Consumers for Deforestation (Extended Abstract). PLILP 1995: 223-240 - Livio Colussi, Elena Marchiori, Massimo Marchiori:
A Dataflow Semantics for Constraint Logic Programs. PLILP 1995: 431-448 - Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan:
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs. PLILP 1995: 133-150 - Rémi Douence, Pascal Fradet:
Towards a Taxonomy of Functional Languages Implementations. PLILP 1995: 27-44 - Heinz Faßbender:
A Verified Implementation of Narrowing. PLILP 1995: 63-80 - Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren:
Exploiting Parallelism in Tabled Evaluations. PLILP 1995: 115-132 - Robert Glück, Jesper Jørgensen:
Efficient Multi-level Generating Extensions for Program Specialization. PLILP 1995: 259-278 - Werner Hans, Fernando Sáenz-Pérez, Stephan Winkler:
An Expression-Or-Parallel Implementation for a Functional Logic Language. PLILP 1995: 457-458 - John Hatcliff:
Mechanically Verifying the Correctness of an Offline Partial Evaluator. PLILP 1995: 279-298 - Fritz Henglein, David Sands:
A Semantic Model of Binding Times for Safe Partial Evaluation. PLILP 1995: 299-320 - Mark P. Jones:
Programming with Constructor Classes (Abstract). PLILP 1995: 26 - Fairouz Kamareddine, Alejandro Ríos:
A Lambda-Calculus à la de Bruijn with Explicit Substitutions. PLILP 1995: 45-62 - Kim Marriott:
Parsing Visual Languages with Constraint Multiset Grammars. PLILP 1995: 24-25 - Barton C. Massey, Evan Tick:
Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions. PLILP 1995: 207-222 - Hugh McEvoy, Pieter H. Hartel:
Local Linear Logic for Locality Consciousness in Multiset Transformation. PLILP 1995: 357-379
