Abstract is missing.
- Models and Equality for Logical ProgrammingJoseph A. Goguen, José Meseguer. 1-22
- Fifth Generation Computer Project: Current Research Activity and Future PlansKoichi Furukawa. 23-38
- A Compositive Abstraction Algorithm for Combinatory LogicAdolfo Piperno. 39-51
- Linear Logic and Lazy ComputationJean-Yves Girard, Yves Lafont. 52-66
- The Natural Dynamic Semantics of Mini-Standard MLDominique Clément. 67-81
- LISTLOG - A Prolog Extension for List ProcessingZsuzsa Farkas. 82-95
- Intensional Negation of Logic Programs: Examples and Implementation TechniquesRoberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini. 96-110
- Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and DeterminismPeter Van Roy, Bart Demoen, Yves D. Willems. 111-125
- Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or GraphChristian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure. 126-139
- Generating Efficient Code from Strictness AnnotationsGary Lindstrom, Lal George, Dowming Yeh. 140-154
- Hoisting: Lazy Evaluation in a Cold ClimateSimon Finn. 155-166
- Inductive Assertion Method for Logic ProgramsWlodzimierz Drabent, Jan Maluszynski. 167-181
- Higher Order Generalization in Program DerivationAlberto Pettorossi, Andrzej Skowron. 182-196
- Implementing Algebraically Specified Abstract Data Types in an Imperative Programming LanguageMuffy Thomas. 197-211
- A Declarative Environment for Concurrent Logic ProgrammingKeith L. Clark, Ian T. Foster. 212-242
- Or-Parallel Execution Models of PrologDavid H. D. Warren. 243-259
- Retractions: A Functional Paradigm for Logic ProgrammingMarco Bellia. 260-275
- Refined Strategies for Semantic UnificationPier Giorgio Bosco, Elio Giovannetti, Corrado Moiso. 276-290
- Extensional Models for PolymorphismVal Tannen, Thierry Coquand. 291-307
- A Type Discipline for Program ModulesRobert Harper, Robin Milner, Mads Tofte. 308-319
- Theory and Practice of Canonical Term Functors in Abstract Data Type SpecificationsChristoph Beierle, Angi Voß. 320-334