Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings

by Michael Hanus (Editor), Mario Rodríguez-Artalejo (Editor)

Toward the concurrent implementation of computational systems.- On negation as instantiation.- Independence in dynamically scheduled logic languages.- Heterogeneous constraint solving.- A hierarchy of semantics for normal constraint logic programs.- Order-sorted The unsorted way.- Unravelings and ultra-properties.- Standardization theorem revisited.- Discrete Normalization and Standardization in Deterministic Residual Structures.- A language for the logical specification of processes and relations.- A process algebra for synchronous concurrent constraint programming.- An algebraic approach to mixins and modularity.- A strict border for the decidability of E-unification for recursive functions.- Prime factorizations of abstract domains using first-order logic.- Abstractions of uniform proofs.- Complementing logic program semantics.- Meaningless terms in rewriting.- Unique normal form property of Higher-Order Rewriting Systems.- ?-calculi with explicit substitutions and composition which preserve ?-strong normalization.- Algebraic semantics for functional logic programming with polymorphic order-sorted types.- Specifying type systems.- The semantic treatment of polymorphic specification languages.

360 pages, Paperback

First published January 15, 2014