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
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

Last update Wed May 22 22:49:44 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page