4. ALPUK 1992: London

Krysia Broda (Ed.): ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19783-4

Program Analysis

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

Language and Implementation Issues

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

Parallelism

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

Applications in Logic

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

Tutorials

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