Skip to main content
SpringerLink
Log in

Algebraic and Logic Programming

6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Michael Hanus
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Heering
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Karl Meinke
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1298)

Included in the following conference series:

Conference proceedings info: HOA 1997, ALP 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Safe folding/unfolding with conditional narrowing

    • M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
    Pages 1-15

  3. Optimal non-deterministic functional logic computations

    • Sergio Antoy
    Pages 16-30

  4. A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints

    • Michael Codish, Cohavit Taboch
    Pages 31-45

  5. Parallelizing functional programs by generalization

    • Alfons Geser, Sergei Gorlatch
    Pages 46-60

  6. Higher-order equational unification via explicit substitutions

    • Claude Kirchner, Christophe Ringeissen
    Pages 61-75

  7. Parameterised higher-order algebraic specifications

    • L. J. Steggles
    Pages 76-98

  8. Higher-order lazy narrowing calculus: A computation model for a higher-order functional logic language

    • Taro Suzuki, Koji Nakagawa, Tetsuo Ida
    Pages 99-113

  9. On composable properties of term rewriting systems

    • Takahito Aoto, Yoshihito Toyama
    Pages 114-128

  10. Needed reductions with context-sensitive rewriting

    • Salvador Lucas
    Pages 129-143

  11. Conditional term graph rewriting

    • Enno Ohlebusch
    Pages 144-158

  12. Lazy narrowing with parametric order sorted types

    • J. M. Almendros-Jiménez, A. Gil-Luezas
    Pages 159-173

  13. Termination of algebraic type systems: The syntactic approach

    • Gilles Baxthe, Femke van Raamsdonk
    Pages 174-193

  14. Proof net semantics of proof search computation

    • Luís Caires, Luís Monteiro
    Pages 194-208

  15. Explicit substitutions for the λΔ-calculus

    • Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
    Pages 209-223

  16. A left-linear variant of λσ

    • César A., Muñoz H.
    Pages 224-239

  17. Perpetuality and uniform normalization

    • Zurab Khasidashvili, Mizuhito Ogawa
    Pages 240-255

  18. Model generation with existentially quantified variables and constraints

    • Slim Abdennadher, Heribert Schütz
    Pages 256-272

  19. Optimal left-to-right pattern-matching automata

    • Nadia Nedjah, Colin D. Walter, Stephen E. Eldridge
    Pages 273-286

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Algebraic and Logic Programming

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation