Michael Hanus, Jan Heering, Karl Meinke
Proceedings of the Sixth International Joint Conference on Algebraic and Logic Programming
ALP/HOA, 1997.

@proceedings{ALP-1997,
	address       = "Southampton, England, United Kingdom",
	editor        = "Michael Hanus and Jan Heering and Karl Meinke",
	isbn          = "3-540-63459-2",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Joint Conference on Algebraic and Logic Programming}",
	volume        = 1298,
	year          = 1997,
}

Contents (18 items)

3 ×#functional
3 ×#higher-order
2 ×#algebra
2 ×#constraints
2 ×#lazy evaluation
2 ×#logic
2 ×#semantics
2 ×#source code
2 ×#termination

ALP-1997-AlpuenteFMV

Safe Folding/Unfolding with Conditional Narrowing (MA, MF, GM, GV), pp. 1–15.

ALP-1997-Antoy #functional #logic #nondeterminism

Optimal Non-deterministic Functional Logic Computations (SA), pp. 16–30.

ALP-1997-CodishT #analysis #constraints #logic programming #semantics #source code #termination #using

A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints (MC, CT), pp. 31–45.

ALP-1997-GeserG #functional #source code

Parallelizing Functional Programs by Generalization (AG, SG), pp. 46–60.

ALP-1997-KirchnerR #equation #higher-order #unification

Higher-Order Equational Unification via Explicit Substitutions (CK, CR), pp. 61–75.

ALP-1997-Steggles #algebra #higher-order #specification

Parameterised Higher-Order Algebraic Specifications (LJS), pp. 76–98.

ALP-1997-SuzukiNI #calculus #functional #higher-order #lazy evaluation #logic

Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language (TS, KN, TI), pp. 99–113.

ALP-1997-AotoT #composition #on the #term rewriting

On Composable Properties of Term Rewriting Systems (TA, YT), pp. 114–128.

ALP-1997-Lucas #reduction

Needed Reductions with Context-Sensitive Rewriting (SL), pp. 129–143.

ALP-1997-Ohlebusch #graph grammar

Conditional Term Graph Rewriting (EO), pp. 144–158.

ALP-1997-Almendros-JimenezG #lazy evaluation #order #parametricity

Lazy Narrowing with Parametric Order Sorted Types (JMAJ, AGL), pp. 159–173.

ALP-1997-BartheR #algebra #approach #termination #type system

Termination of Algebraic Type Systems: The Syntactic Approach (GB, FvR), pp. 174–193.

ALP-1997-CairesM #proving #semantics

Proof Net Semantics of Proof Search Computation (LC, LM), pp. 194–208.

ALP-1997-BartheKR #λ-calculus

Explicit Substitutions for the λ-Calculus (GB, FK, AR), pp. 209–223.

ALP-1997-CesarM #linear

A Left-Linear Variant of λσ (AC, HM), pp. 224–239.

ALP-1997-KhasidashviliO #normalisation

Perpetuality and Uniform Normalization (ZK, MO), pp. 240–255.

ALP-1997-AbdennadherS #constraints #generative #quantifier

Model Generation with Existentially Quantified Variables and Constraints (SA, HS), pp. 256–272.

ALP-1997-NedjahWE #automaton #pattern matching

Optimal Left-to-Right Pattern-Matching Automata (NN, CDW, SEE), pp. 273–286.