Abstract is missing.
- Standard ML of New JerseyAndrew W. Appel, David B. MacQueen. 1-13
- Adding equations to NU-PrologLee Naish. 15-26
- The MAS Specification ComponentHeinz Kredel. 39-50
- Domesticating Imperative Constructs So That They Can Live in a Functional WorldT. C. Nicholas Graham, Gerd Kock. 51-62
- Logic-Based Specification of Visibility RulesArnd Poetzsch-Heffter. 63-74
- Optimal Instruction Scheduling using Constraint Logic ProgrammingM. Anton Ertl, Andreas Krall. 75-86
- An Architectural Model for OR-Parallelism on Distributed Memory SystemsFabrizio Baiardi, D. M. Bella. 87-98
- FRATS: A Parallel Reduction Strategy for Shared MemoryKoen Langendoen, Willem G. Vree. 99-110
- Narrowing as an Incremental Constraint Satisfaction AlgorithmMaría Alpuente, Moreno Falaschi. 111-122
- The Implementation of Lazy NarrowingManuel M. T. Chakravarty, Hendrik C. R. Lock. 123-134
- Semantics-Directed Generation of a Prolog CompilerCharles Consel, Siau-Cheng Khoo. 135-146
- A Framework to Specify Database Update Views for PrologEgon Börger, Bart Demoen. 147-158
- Concepts for a Modular and Distributed Prolog LanguageSzabolcs Ferenczi. 159-170
- From Parlog to Polka in two easy StepsAndrew Davison. 171-182
- Precedences in Specifications and Implementations of Programming LanguagesAnnika Aasa. 183-194
- Generating Efficient Code From Data-Flow ProgramsNicolas Halbwachs, Pascal Raymond, Christophe Ratel. 207-218
- On the Borderline Between Grammars and ProgramsCornelis H. A. Koster, Jean Beney. 219-230
- Efficient Incremental Evaluation of Higher order Attribute GrammarsHarald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper. 231-242 [doi]
- PROFIT: A System Integrating Logic Programming and Attribute GrammarsJukka Paakki. 243-254
- U-Log, An Ordered Sorted Logic with Typed AttributesPaul Y. Gloess. 275-286
- Compilation of Predicate Abstractions in Higher-Order Logic ProgrammingWeidong Chen, David Scott Warren. 287-298
- Abstract Interpretation: A Kind of MagicUlf Nilsson. 299-309
- Abstract Interpretation for Type CheckingGilberto Filé, P. Sottero. 311-322
- A Technique for Recursive Invariance Detection and Selective Program SpecificationFosca Giannotti, Manuel V. Hermenegildo. 323-334
- Dynamic Detection of Determinism in Functional LanguagesRita Loogen, Stephan Winkler. 335-346
- Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic ProgramsMaurizio Proietti, Alberto Pettorossi. 347-358
- Efficient Integration of Simplifications into PrologP. H. Cheong, Laurent Fribourg. 359-370
- Lazy Evaluation in LogicSergio Antoy. 371-382
- S-SLD-resolution - An Operational Semantics for Logic Programs with External ProceduresJohan Boye. 383-393
- Operational Semantics of Constraint Logic Programming over Finite DomainsPascal Van Hentenryck, Yves Deville. 395-406
- Constraints for Synchronizing Logic Coarse-grained Sequential Logic ProcessesAntonio Brogi, Maurizio Gabbrielli. 407-418
- Extending Execution Trees for Debugging and Animation in Logic ProgrammingDiego Loyola. 419-420
- A Narrowing-Based Theorem ProverUlrich Fraus, Heinrich Hußmann. 421-422
- The ALF SystemMichael Hanus. 423-424
- Experiences with Gentle: Efficient Compiler Construction Based On Logic ProgrammingJürgen Vollmer. 425-426
- The System FLR (Fast Laboratory for Recomposition)Beate Baum, Peter Forbrig. 427-428
- Multilanguage InteroperabilityGiuseppe Attardi, Mauro Gaspari. 429-430
- Short Overview of the CLPS SystemBruno Legeard, Emmanuel Legros. 431-433