Algebraic and Logic Programming

Outline of an object-oriented calculus of higher type.- High-level-replacement systems for equational algebraic specifications.- Termination of rewrite systems by elementary interpretations.- Termination of order-sorted rewriting.- Generalized sufficient conditions for modular termination of rewriting.- A theory of first-order built-in's of prolog.- Fixpoint semantics for partial computed answer substitutions and call patterns.- Oracle semantics for Prologa.- On the relation between primitive recursion, schematization, and divergence.- Term rewriting with sharing and memoïzation.- Definitional trees.- Multiparadigm logic programming.- Non-linear real constraints in constraint logic programming.- A general scheme for constraint functional logic programming.- Incremental rewriting in narrowing derivations.- Counterexamples to completeness results for basic narrowing (extended abstract).- Uniform narrowing strategies.- Proof by consistency in constructive systems with final algebra semantics.- A fast algorithm for ground normal form analysis.- Eta-conversion for the languages of explicit substitutions.- Serialisation analysis of concurrent logic programs.- Implementation of a toolset for prototyping algebraic specifications of concurrent systems.- Axiomatizing permutation equivalence in the ?-calculus.- A CLP view of logic programming.- Partial deduction of logic programs WRT well-founded semantics.- The finiteness of logic programming derivations.- Theorem proving for hierarchic first-order theories.- A goal oriented strategy based on completion.- On n-syntactic equational theories.