5. ALP 1996: Aachen, Germany

Invited Talk

• Ilies Alouini, Claude Kirchner:
  Toward the Concurrent Implementation of Computational Systems. 1-31
  

Logic Programming

• Alessandra Di Pierro, Wlodzimierz Drabent:
  On Negation As Instantiation. 32-46
  
• Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott:
  Independence in Dynamically Scheduled Logic Languages. 47-61
  
• Frédéric Benhamou:
  Heterogeneous Constraint Solving. 62-76
  
• François Fages, Roberta Gori:
  A Hierarchy of Semantics for Normal Constraint Logic Programs. 77-91
  

Term Rewriting

• Peter Csaba Ölveczky, Olav Lysne:
  Order-Sorted Termination: The Unsorted Way. 92-106
  
• Massimo Marchiori:
  Unravelings and Ultra-properties. 107-121
  
• Taro Suzuki:
  Standardization Theorem Revisited. 122-134
  
• Zurab Khasidashvili, John R. W. Glauert:
  Discrete Normalization and Standardization in Deterministic Residual Structures. 135-149
  

Integration of Paradigms

• Luís Caires:
  A Language for the Logical Specification of Processes and Relations. 150-164
  
• Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský:
  A Process Algebra for Synchronous Concurrent Constraint Programming. 165-178
  
• Davide Ancona, Elena Zucca:
  An Algebraic Approach to Mixins and Modularity. 179-193
  
• Heinz Faßbender, Sebastian Maneth:
  A Strict Border for the Decidability of E-Unification for Recursive Functions. 194-208
  

Abstract Interpretation

• Elena Marchiori:
  Prime Factorizations of Abstract Domains Using First Order Logic. 209-223
  
• Paolo Volpe:
  Abstractions of Uniform Proofs. 224-237
  
• Roberto Giacobazzi, Francesco Ranzato:
  Complementing Logic Program Semantics. 238-253
  

Lambda-Calculus and Rewriting

• Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries:
  Meaningless Terms in Rewriting. 254-268
  
• Ken Mano, Mizuhito Ogawa:
  Unique Normal Form Property of Higher-Order Rewriting Systems. 269-283
  
• Maria C. F. Ferreira, Delia Kesner, Laurence Puel:
  Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. 284-298
  

Types

• Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas:
  Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. 299-313
  
• Dieter Nazareth:
  Specifying Type Systems. 314-329
  
• Dieter Nazareth:
  The Semantic Treatment of Polymorphic Specification Languages. 330-344