This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.
The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems". The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.
Author(s): Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)
Series: Lecture Notes in Computer Science 1139
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 348
Tags: Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics)
Toward the concurrent implementation of computational systems....Pages 1-31
On negation as instantiation....Pages 32-46
Independence in dynamically scheduled logic languages....Pages 47-61
Heterogeneous constraint solving....Pages 62-76
A hierarchy of semantics for normal constraint logic programs....Pages 77-91
Order-sorted termination: The unsorted way....Pages 92-106
Unravelings and ultra-properties....Pages 107-121
Standardization theorem revisited....Pages 122-134
Discrete Normalization and Standardization in Deterministic Residual Structures....Pages 135-149
A language for the logical specification of processes and relations....Pages 150-164
A process algebra for synchronous concurrent constraint programming....Pages 165-178
An algebraic approach to mixins and modularity....Pages 179-193
A strict border for the decidability of E-unification for recursive functions....Pages 194-208
Prime factorizations of abstract domains using first-order logic....Pages 209-223
Abstractions of uniform proofs....Pages 224-237
Complementing logic program semantics....Pages 238-253
Meaningless terms in rewriting....Pages 254-268
Unique normal form property of Higher-Order Rewriting Systems....Pages 269-283
λ-calculi with explicit substitutions and composition which preserve β-strong normalization....Pages 284-298
Algebraic semantics for functional logic programming with polymorphic order-sorted types....Pages 299-313
Specifying type systems....Pages 314-329
The semantic treatment of polymorphic specification languages....Pages 330-344
