+612 9045 4394
 
CHECKOUT
Algebraic and Logic Programming : 6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings - Michael Hanus

Algebraic and Logic Programming

6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings

By: Michael Hanus (Editor), Jan Heering (Editor), Karl Meinke (Editor)

Paperback

Published: 20th August 1997
Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 11th September 1996
    Ships: 5 to 9 business days
    5 to 9 business days
    $135.51

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.
The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.

Safe Folding/Unfolding with Conditional Narrowingp. 1
Optimal Non-deterministic Functional Logic Computationsp. 16
A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraintsp. 31
Parallelizing Functional Programs by Generalizationp. 46
Higher-Order Equational Unification via Explicit Substitutionsp. 61
Parameterised Higher-Order Algebraic Specificationsp. 76
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Languagep. 99
On Composable Properties of Term Rewriting Systemsp. 114
Needed Reductions with Context-Sensitive Rewritingp. 129
Conditional Term Graph Rewritingp. 144
Lazy Narrowing with Parametric Order Sorted Typesp. 159
Termination of Algebraic Type Systems: The Syntactic Approachp. 174
Proof Net Semantics of Proof Search Computationp. 194
Explicit Substitutions for the [lambda][Delta] Calculusp. 209
A Left-Linear Variant of [lambda][sigma]p. 224
Perpetuality and Uniform Normalizationp. 240
Model Generation with Existentially Quantified Variables and Constraintsp. 256
Optimal Left-to-Right Pattern-Matching Automatap. 273
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540634591
ISBN-10: 3540634592
Series: Lecture Notes in Computer Science : Book Vol. 129
Audience: General
Format: Paperback
Language: English
Number Of Pages: 297
Published: 20th August 1997
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.65
Weight (kg): 0.44