Jan Grabowski, Pierre Lescanne, Wolfgang Wechler
Proceedings of the First International Workshop on Algebraic and Logic Programming
ALP, 1988.

@proceedings{ALP-1988,
	address       = "Gaussig, Germany",
	editor        = "Jan Grabowski and Pierre Lescanne and Wolfgang Wechler",
	isbn          = "3-540-50667-5",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Workshop on Algebraic and Logic Programming}",
	volume        = 343,
	year          = 1988,
}

Contents (26 items)

5 ×#specification
5 ×#term rewriting
4 ×#algebra
4 ×#functional
4 ×#logic programming
3 ×#equation
2 ×#composition
2 ×#induction
2 ×#logic
2 ×#modelling

ALP-1988-Bergstra

ACP with Signals (JAB), pp. 11–20.

ALP-1988-Fribourg #functional #prolog #question

Functional Extensions to Prolog: Are they Needed? (LF), pp. 21–29.

ALP-1988-Giovannetti #programming language

Narrowing and Resolution in Logic-Functional programming Languages (EG), p. 30.

ALP-1988-Hussmann #algebra #nondeterminism #specification #term rewriting

Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting (HH), pp. 31–40.

ALP-1988-JouannaudKKM #named #programming

OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization (JPJ, CK, HK, AM), pp. 41–52.

ALP-1988-Smolka #logic programming #order

Logic Programming with Polymorphically Order-Sorted Types (GS), pp. 53–70.

ALP-1988-BeierleP #data type #equation #logic programming #specification

Integrating Logic Programming and Equational Specification of Abstract Data Types (CB, UP), pp. 71–82.

ALP-1988-Bockmayr

Narrowing with Built-In Theories (AB), pp. 83–92.

ALP-1988-Bousdira #term rewriting

A Completion Procedure for Hierarchical Conditional Rewriting Systems (WB), pp. 93–107.

ALP-1988-Comon #algebra #effectiveness

An Effective Method for Handling Initial Algebras (HC), pp. 108–118.

ALP-1988-Dahn #modelling #specification

Boolean Valued Models and Incomplete Specifications (BID), pp. 119–126.

ALP-1988-Dayantis #abstraction #composition #logic programming

Types, Modularisation and Abstraction in Logic Programming (GD), pp. 127–136.

ALP-1988-Drosten #algebra #case study #comparative #prolog #source code #specification

Translating Algebraic Specifications to Prolog Programs: A Comparative Study (KD), pp. 137–146.

ALP-1988-Foret #logic

Rewrite Rule Systems for Modal Propositional Logic (AF), pp. 147–156.

ALP-1988-FulopV #automaton #linear #set #term rewriting

A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata (ZF, SV), p. 157.

ALP-1988-Goltz #functional #modelling #semantics #unification

Functional Data Term Models and Semantic Unification (HJG), pp. 158–167.

ALP-1988-HansenL #algebra #composition #specification

Modular Algebraic Specifications (HH, ML), pp. 168–179.

ALP-1988-HofbauerK #induction #proving #term rewriting #theorem

Proving Inductive Theorems Based on Term Rewriting Systems (DH, RDK), pp. 180–190.

ALP-1988-HoffmannP #evaluation #performance #term rewriting

Jungle Evaluation for Efficient Term Rewriting (BH, DP), pp. 191–203.

ALP-1988-Kucherov #algorithm #induction #proving #testing

A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction (GK), pp. 204–213.

ALP-1988-LiuL #fuzzy #horn clause #reasoning

Fuzzy Reasoning Based on F-Horn Clause Rules (DL, DL), pp. 214–222.

ALP-1988-Moreno-NavarroR #functional #logic programming #named #programming language

BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing (JJMN, MRA), pp. 223–232.

ALP-1988-Schnoebelen #compilation #functional #pattern matching

Refined Compilation of Pattern-Matching for Functional Languages (PS), pp. 233–243.

ALP-1988-Wolter #equation

Narrowing in Partial Conditional Equational Theories (UW), p. 244.

ALP-1988-You #equation

Solving Equations in an Equational Language (JHY), pp. 245–254.

ALP-1988-Pasztor #logic #recursion #semantics #source code #standard

Nonstandard Logics of Recursive Programs and Denotational Semantics (AP), pp. 255–278.