Abstract is missing.
- Concurrent Constraint ProgrammingCatuscia Palamidessi. 1-2
- Specifications Using Multiple-Conclusion Logic ProgramsDale Miller. 3-4
- Viewing A Program Transformation System At WorkRobert Paige. 5-24
- A Portable and Efficient Implementation of KL1Takashi Chikayama, Tetsuro Fujise, Daigo Sekita. 25-39
- Why Multi-SLD Beats SLD (Even on a Uniprocessor)Donald A. Smith. 40-56
- Abstracting Synchronization in Concurrent Constraint ProgrammingEnea Zaffanella, Roberto Giacobazzi, Giorgio Levi. 57-72
- A Novel Term Compression Scheme and Data Representation in the BinWAMPaul Tarau, Ulrich Neumerkel. 73-87
- A Simple and Efficient Copying Garbage Collector for PrologJohan Bevemyr, Thomas Lindgren. 88-101
- Deriving Residual Reference Count Garbage CollectorsWolfram Schulte. 102-116
- RML - A New Language and Implementation for Natural SemanticsMikael Pettersson. 117-131
- Towards a Provably Correct Compiler for OBJ3Lutz H. Hamel, Joseph A. Goguen. 132-146
- An Implementation Technique for a Class of Bottom-Up ProceduresAndrei Voronkov. 147-164
- Partial Deduction and Driving are EquivalentRobert Glück, Morten Heine Sørensen. 165-181
- Partial Continuations as the Difference of Continuations - A Duumvirate of Control OperatorsLuc Moreau, Christian Queinnec. 182-197
- Hand-Writing Program Generator GeneratorsLars Birkedal, Morten Welinder. 198-214
- A Logic for Encapsulation in Object Oriented LanguagesMichele Bugliesi, Hasan M. Jamil. 215-229
- Annotated Constraint Logic Programming Applied to Temporal ReasoningThom W. Frühwirth. 230-243
- clp(B): Combining Simplicity and Efficiency in Boolean Constraint SolvingPhilippe Codognet, Daniel Diaz. 244-260
- Handling Preferences in Constraint Logic Programming with Relational OptimizationFrançois Fages, Julian Fowler, Thierry Sola. 261-276
- Improving Search for Job-Shop Scheduling with CLP(FD)Silvia Breitinger, Hendrik C. R. Lock. 277-291
- Implementations of Program Composition OperationsAntonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini. 292-307
- Sleepers: A Versatile High-Level Control MechanismChristian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto. 308-323
- Improving Arithmetic Performance using Fine-Grain UnfoldingTimo Metzemakers, Alain Miniussi, David Sherman, Robert Strandh. 324-339
- Unfold/Fold Transformations For Definite Clause ProgramsManolis Gergatsoulis, Maria Katzouraki. 340-354
- A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic LanguagesJohn Maraist, Frank S. K. Silbermann. 355-369
- Combining Lazy Narrowing and SimplificationMichael Hanus. 370-384
- Combining Lazy Narrowing with Disequality ConstraintsPuri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas. 385-399
- Abstracting Numerical Values in CLP(H, N)Gerda Janssens, Maurice Bruynooghe, Vincent Englebert. 400-414
- Dynamic Dependence in Term rewriting Systems and its Application to Program SlicingJohn Field, Frank Tip. 415-431
- Abstracting s-semantincs Using A Model-Theoretic ApproachDmitri Boulanger, Maurice Bruynooghe, Marc Denecker. 432-446
- Using Higher-Order Control Flow Analysis When Compiling Functional LanguagesManuel Serrano. 447-448
- Readable, Runnable Requirements Specifications in SPILL-2Feliks Kluzniak, Miroslawa Milkowska. 449-450
- A System to Visualize and Interact with Prolog ProgramsJosé Paulo Leal. 451-452
- Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid LanguagesJohannes-Bernhard Hundehege, Wolfram-Manfred Lippe, U. Xanten. 453-454
- Towards a Constraint Functional Logic Compiler for Symbolic Computation SystemsGeorgios Grivas. 455-456
- PROMAL - Programming in Modal Action LogicOdinaldo Rodrigues, Mario R. F. Benevides. 457-458
- Implementing the Synthesis of Properties in Unfold/Fold TransformationsKhaled Bsaïes. 459-460
- Shared Memory System for Babel: a VHDL SpecificationFernando Sáenz, Werner Hans, José J. Ruz, Stephan Winkler. 461-462
- Towards Integrating Functional and Logic Styles Using RelationAbdelkader Belkhir, Namick Nemouche. 463-464
- Tabulation of Functions in Definite Clause ProgramsJonas Barklund. 465-466
- Flang System: A new VersionAndrei Mantsivoda. 467-468