- Michael Mehl, Ralf Scheidhauer, Christian Schulte:
An Abstract Machine for Oz. PLILP 1995: 151-168 - Merik Meriste, Jaan Penjam:
Attributed Models of Executable Specifications. PLILP 1995: 459-460 - Markus Mohnen:
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures. PLILP 1995: 241-258 - Oege de Moor:
A Generic Program for Sequential Decision Processes. PLILP 1995: 1-23 - Alan Mycroft
, Kirsten Lackner Solberg:
Uniform PERs and Comportment Analysis. PLILP 1995: 169-187 - Koichi Nakahara, Aart Middeldorp, Tetsuo Ida:
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming. PLILP 1995: 97-114 - Rob Noble, Colin Runciman:
Gadgets: Lazy Functional Components for Graphical User Interfaces. PLILP 1995: 321-340 - Jean-Hugues Réty:
The Notion of Floundering for SLDNF-Resolution Revisited. PLILP 1995: 380-396 - Hüseyin Saglam, John P. Gallagher:
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions. PLILP 1995: 461-462 - Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh:
Goal-Directed Query Processing in Disjunctive Logic Databases. PLILP 1995: 415-430 - Bo-Ming Tong, Ho-fung Leung:
Performance of A Data-Parallel Concurrent Constraint Programming System. PLILP 1995: 463-464 - Ton Vullinghs, Daniel Tuinman, Wolfram Schulte:
Lightweight GUIs for Functional Programming. PLILP 1995: 341-356 - Jens E. Wunderwald:
A Portable Implementation of Memoing Evaluation. PLILP 1995: 465-466 - Manuel V. Hermenegildo, S. Doaitse Swierstra:
Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings. Lecture Notes in Computer Science 982, Springer 1995, ISBN 3-540-60359-X [contents] - 1994
- Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas:
Combining Lazy Narrowing with Disequality Constraints. PLILP 1994: 385-399 - Jonas Barklund:
Tabulation of Functions in Definite Clause Programs. PLILP 1994: 465-466 - Abdelkader Belkhir, Namick Nemouche:
Towards Integrating Functional and Logic Styles Using Relation. PLILP 1994: 463-464 - Johan Bevemyr, Thomas Lindgren:
A Simple and Efficient Copying Garbage Collector for Prolog. PLILP 1994: 88-101 - Lars Birkedal, Morten Welinder:
Hand-Writing Program Generator Generators. PLILP 1994: 198-214 - Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker:
Abstracting s-semantincs Using A Model-Theoretic Approach. PLILP 1994: 432-446 - Silvia Breitinger, Hendrik C. R. Lock:
Improving Search for Job-Shop Scheduling with CLP(FD). PLILP 1994: 277-291 - Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini:
Implementations of Program Composition Operations. PLILP 1994: 292-307 - Khaled Bsaïes:
Implementing the Synthesis of Properties in Unfold/Fold Transformations. PLILP 1994: 459-460 - Michele Bugliesi, Hasan M. Jamil:
A Logic for Encapsulation in Object Oriented Languages. PLILP 1994: 215-229 - Takashi Chikayama, Tetsuro Fujise, Daigo Sekita:
A Portable and Efficient Implementation of KL1. PLILP 1994: 25-39 - Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto:
Sleepers: A Versatile High-Level Control Mechanism. PLILP 1994: 308-323 - Philippe Codognet, Daniel Diaz:
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. PLILP 1994: 244-260 - François Fages, Julian Fowler, Thierry Sola:
Handling Preferences in Constraint Logic Programming with Relational Optimization. PLILP 1994: 261-276 - John Field, Frank Tip:
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. PLILP 1994: 415-431 - Thom W. Frühwirth:
Annotated Constraint Logic Programming Applied to Temporal Reasoning. PLILP 1994: 230-243
