4. ALPUK 1992: London

Program Analysis

• R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur: Rewriting Concepts in the Study of Termination of Logic Programs. 3-20
• Jean-Marie Jacquet: Metric Characterizations of Contextual Logic Programs. 21-40
• Khaled Bsaïes: Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs. 41-61
• Lunjin Lu, Peter Greenfield: An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. 62-76

Language and Implementation Issues

• Jian Chen, John Staples: Soft Sorting in Logic Programming. 79-96
• Grigoris Antoniou, Volker Sperschneider: Modularity for Logic Programs. 97-107
• Giancarlo Succi, Giuseppe A. Martino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata, Alexandro Regoli, Luca Viganò: SEL Compiler & Abstract Analyzers. 108-123
• Timothy K. Shih, Ruth E. Davis, Fuyau Lin: Disciplined Exceptions in Logic Programming. 124-141

Parallelism

• Frank S. de Boer, Catuscia Palamidessi: On the Semantics of Concurrent Constraint Programming. 145-173
• Ernesto Pimentel, José M. Troya: L2||O2: Operational and Declarative Semantics. 174-188
• W. F. Clocksin: The DelPhi Multiprocessor Inference Machine. 189-198

Applications in Logic

• Wilfried Hodges: Orn Clause Logic 1992. 201-217
• Dov M. Gabbay, Hans Jürgen Ohlbach: From A Hilbert Calculus to its Model Theoretic Semantics. 218-252
• David J. Pym, Lincoln A. Wallen: Logic Programming via Proof-valued Computations. 253-262
• Yuejun Jiang, Barry Richards: An Amalgamated Temporal Logic. 263-295

Tutorials

• Antony F. Bowers, Patricia M. Hill: An Introduction to Gödel. 299-343
• John Florentin, Martin Gittins: Parallel Logic Programming in Strand: A Tutorial. 344-354