Title: ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992
Abstract: Program Analysis -- Rewriting Concepts in the Study of Termination of Logic Programs -- Metric Characterizations of Contextual Logic Programs -- Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs -- An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog -- Language and Implementation Issues -- Soft Sorting in Logic Programming -- Modularity for Logic Programs -- SEL Compiler and Abstract Analyzers -- Disciplined Exceptions in Logic Programming -- Parallelism -- On the Semantics of Concurrent Constraint Programming (Invited Paper) -- L2?O2: Operational and Declarative Semantics -- The DelPhi Multiprocessor Inference Machine (Invited Paper) -- Applications in Logic -- Horn Clause Logic 1992 (Invited Paper) -- From a Hilbert Calculus to its Model Theoretic Semantics (Invited Paper) -- Logic Programming via Proof-valued Computations (Invited Paper) -- An Amalgamated Temporal Logic (Invited Paper) -- Tutorials -- An Introduction to Godel -- Parallel Logic Programming in Strand: A Tutorial -- Author Index.
Publication Year: 1993
Publication Date: 1993-01-26
Language: en
Type: book
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot