ALP/HOA

Keyphrases

Publications

1997

Gilles Barthe, Femke van Raamsdonk
Termination of Algebraic Type Systems: The Syntactic Approach. ALP/HOA (1997)
Alfons Geser, Sergei Gorlatch
Parallelizing Functional Programs by Generalization. ALP/HOA (1997)
Taro Suzuki, Koji Nakagawa, Tetsuo Ida
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. ALP/HOA (1997)
Michael Codish, Cohavit Taboch
A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints. ALP/HOA (1997)
Zurab Khasidashvili, Mizuhito Ogawa
Perpetuality and Uniform Normalization. ALP/HOA (1997)
L. J. Steggles
Parameterised Higher-Order Algebraic Specifications. ALP/HOA (1997)
Nadia Nedjah, Colin D. Walter, Stephen E. Eldridge
Optimal Left-to-Right Pattern-Matching Automata. ALP/HOA (1997)
Salvador Lucas
Needed Reductions with Context-Sensitive Rewriting. ALP/HOA (1997)
Takahito Aoto, Yoshihito Toyama
On Composable Properties of Term Rewriting Systems. ALP/HOA (1997)
Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas
Lazy Narrowing with Parametric Order Sorted Types. ALP/HOA (1997)
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA (1997)
Sergio Antoy
Optimal Non-deterministic Functional Logic Computations. ALP/HOA (1997)
Luís Caires, Luís Monteiro
Proof Net Semantics of Proof Search Computation. ALP/HOA (1997)
Enno Ohlebusch
Conditional Term Graph Rewriting. ALP/HOA (1997)
Slim Abdennadher, Heribert Schütz
Model Generation with Existentially Quantified Variables and Constraints. ALP/HOA (1997)
A. César, H. Muñoz
A Left-Linear Variant of Lambda-Sigma. ALP/HOA (1997)
Claude Kirchner, Christophe Ringeissen
Higher-Order Equational Unification via Explicit Substitutions. ALP/HOA (1997)
Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
Explicit Substitutions for the Lambda-Calculus. ALP/HOA (1997)

volume 1298, 1997

Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, Spetember 3-5, 1997, Proceedings ALP/HOA 1298 (1997)