- Manolis Gergatsoulis, Maria Katzouraki:
Unfold/Fold Transformations For Definite Clause Programs. PLILP 1994: 340-354 - Robert Glück, Morten Heine Sørensen:
Partial Deduction and Driving are Equivalent. PLILP 1994: 165-181 - Georgios Grivas:
Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems. PLILP 1994: 455-456 - Lutz H. Hamel, Joseph A. Goguen:
Towards a Provably Correct Compiler for OBJ3. PLILP 1994: 132-146 - Michael Hanus
:
Combining Lazy Narrowing and Simplification. PLILP 1994: 370-384 - 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: 453-454 - Gerda Janssens, Maurice Bruynooghe, Vincent Englebert:
Abstracting Numerical Values in CLP(H, N). PLILP 1994: 400-414 - Feliks Kluzniak, Miroslawa Milkowska:
Readable, Runnable Requirements Specifications in SPILL-2. PLILP 1994: 449-450 - José Paulo Leal:
A System to Visualize and Interact with Prolog Programs. PLILP 1994: 451-452 - Andrei Mantsivoda:
Flang System: A new Version. PLILP 1994: 467-468 - John Maraist, Frank S. K. Silbermann:
A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages. PLILP 1994: 355-369 - Timo Metzemakers, Alain Miniussi, David J. Sherman, Robert Strandh:
Improving Arithmetic Performance using Fine-Grain Unfolding. PLILP 1994: 324-339 - Dale Miller:
Specifications Using Multiple-Conclusion Logic Programs. PLILP 1994: 3-4 - Luc Moreau, Christian Queinnec:
Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators. PLILP 1994: 182-197 - Robert Paige:
Viewing A Program Transformation System At Work. PLILP 1994: 5-24 - Catuscia Palamidessi:
Concurrent Constraint Programming. PLILP 1994: 1-2 - Mikael Pettersson:
RML - A New Language and Implementation for Natural Semantics. PLILP 1994: 117-131 - Odinaldo Rodrigues, Mario R. F. Benevides:
PROMAL - Programming in Modal Action Logic. PLILP 1994: 457-458 - Fernando Sáenz-Pérez, Werner Hans, José J. Ruz, Stephan Winkler:
Shared Memory System for Babel: a VHDL Specification. PLILP 1994: 461-462 - Wolfram Schulte:
Deriving Residual Reference Count Garbage Collectors. PLILP 1994: 102-116 - Manuel Serrano:
Using Higher-Order Control Flow Analysis When Compiling Functional Languages. PLILP 1994: 447-448 - Donald A. Smith:
Why Multi-SLD Beats SLD (Even on a Uniprocessor). PLILP 1994: 40-56 - Paul Tarau, Ulrich Neumerkel:
A Novel Term Compression Scheme and Data Representation in the BinWAM. PLILP 1994: 73-87 - Andrei Voronkov:
An Implementation Technique for a Class of Bottom-Up Procedures. PLILP 1994: 147-164 - Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming. PLILP 1994: 57-72 - Manuel V. Hermenegildo, Jaan Penjam:
Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings. Lecture Notes in Computer Science 844, Springer 1994, ISBN 3-540-58402-1 [contents] - 1993
- Khayri A. M. Ali, Roland Karlsson:
A Novel Method for Parallel Implementation of findall. PLILP 1993: 235-245 - María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal:
Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP 1993: 391-409 - Martin Helmut Alt, Georg Sander, Reinhard Wilhelm:
Generation of Synchronization Code for Parallel Compilers. PLILP 1993: 420-421 - Jonas Barklund, Johan Bevemyr:
Executing Bounded Quantifications on Shared Memory Multiprocessors. PLILP 1993: 302-317
