ALP '96 Accepted Papers

Specifying Type Systems

by Dieter Nazareth

The Semantic Treatment of Polymorphic Specification Languages

by Dieter Nazareth

Prime Factorizations of Abstract Domains Using First Order Logic

by Elena Marchiori

Meaningless terms in rewriting

by Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries

Unravelings and Ultra-properties

by Massimo Marchiori

Unique Normal Form Property of Higher-Order Rewriting Systems

by Ken Mano, Mizuhito Ogawa

Abstractions of uniform proofs

by Paolo Volpe

Heterogeneous Constraint Solving

by Frederic Benhamou

Order-sorted Termination: the Unsorted Way

by Peter C. Olveczky and Olav Lysne

A Strict Border for the Decidability of E-Unification for Recursive Functions

by Heinz Fassbender and Sebastian Maneth

A Language for the Logical Specification of Processes and Relations

by Luis Caires

Independence in Dynamically Scheduled Logic Languages

by M. Garcia de la Banda, M. Hermenegildo, and K. Marriott

On Negation As Instantiation

by W. Drabent, Alessandra Di Pierro

An Algebraic Approach to Mixins and Modularity

by Davide Ancona and Elena Zucca

Lambda-calculi with explicit substitutions and composition which preserve beta-strong normalization

by Conceicao Ferreira, Delia Kesner and Laurence Puel

Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types

by J. M. Almendros-Jimenez,A. Gavilantes-Franco,A. Gil-Luezas

Standardization Theorem Revisited

by Taro Suzuki

A Hierarchy of Semantics for Normal Constraint Logic Programs

by Francois Fages, Roberta Gori

Complementing Logic Program Semantics

by Gilberto File, Roberto Giacobazzi and Francesco Ranzato

Discrete Normalization and Standardization in Deterministic Residual Structures

by Zurab Khasidashvili and John Glauert

A Process Algebra for Synchronous Concurrent Constraint Programming

by Lubos Brim, Jean-Marie Jacquet, Mojmir Kretinsky and David Gilbert