Hélène Kirchner, Wolfgang Wechler
Proceedings of the Second International Conference on Algebraic and Logic Programming
ALP, 1990.

@proceedings{ALP-1990,
	address       = "Nancy, France",
	editor        = "Hélène Kirchner and Wolfgang Wechler",
	isbn          = "3-540-53162-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Conference on Algebraic and Logic Programming}",
	volume        = 463,
	year          = 1990,
}

Contents (26 items)

6 ×#logic programming
4 ×#source code
3 ×#equation
3 ×#proving
3 ×#specification
2 ×#algebra
2 ×#concurrent
2 ×#fixpoint
2 ×#graph
2 ×#implementation

ALP-1990-Goguen #proving

Proving and Rewriting (JAG), pp. 1–24.

ALP-1990-Farres-Casals #correctness #proving #specification

Proving Correctness wrt Specifications with Hidden Parts (JFC), pp. 25–39.

ALP-1990-Walters #algebra #hybrid #implementation #specification

Hybrid Implementations of Algebraic Specifications (HRW), pp. 40–54.

ALP-1990-DebartEL #equation #logic programming #multi #order #using

Multi-Modal Logic Programming using Equational and Order-Sorted Logic (FD, PE, ML), pp. 55–69.

ALP-1990-Hanus #equation #logic programming #source code #specification

Logic Programs with Equational Type Specifications (MH), pp. 70–85.

ALP-1990-Qian #algebra #higher-order

Higher-Order Order-Sorted Algebras (ZQ), pp. 86–100.

ALP-1990-BronsardR #axiom #functional #logic

Axiomatization of a Functional Logic Language (FB, USR), pp. 101–116.

ALP-1990-HuynhLL #algorithm #fourier #revisited

Fourier Algorithm Revisited (TH, CL, JLL), pp. 117–131.

ALP-1990-Batarekh #fixpoint

Fixpoint Techniques for Non-Monotone Maps (AB), pp. 132–143.

ALP-1990-ZhouM

Domain Theory for Nonmonotonic Functions (YZ, RM), pp. 144–157.

ALP-1990-Dung #logic programming #on the #source code

On the strong completion of logic programs (PMD), pp. 158–172.

ALP-1990-Sato #equivalence #first-order

An Equivalence Preserving First Order Unfold/fold Transformation System (TS), pp. 173–188.

ALP-1990-SimonisD #calculus #problem

Propositional Calculus Problems in CHIP (HS, MD), pp. 189–203.

ALP-1990-GabbrielliL #concurrent #constraints #fixpoint #logic programming #semantics #source code

Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs (MG, GL), pp. 204–216.

ALP-1990-KanchanasutS #logic programming #source code

Eliminating Negation from Normal Logic Programs (KK, PJS), pp. 217–231.

ALP-1990-Saint-Dizier #dependence #logic programming #on the

On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic (PSD), pp. 232–246.

ALP-1990-Han #graph #query #recursion

Recursive Query Processing in Predicate-Goal Graph (JLH), pp. 247–261.

ALP-1990-Lescanne #implementation

Implementations of Completion by Transition Rules + Control: ORME (PL), pp. 262–269.

ALP-1990-Bellegarde #category theory #formal method #process

A Matching Process Modulo a Theory of Categorical Products (FB), pp. 270–282.

ALP-1990-DershowitzMS #equation

Equation Solving in Conditional AC-Theories (ND, SM, GS), pp. 283–297.

ALP-1990-Moreno-NavarroKLR #graph #lazy evaluation

Lazy Narrowing in a Graph Machine (JJMN, HK, RL, MRA), pp. 298–317.

ALP-1990-DershowitzL #concurrent

An Abstract Concurrent Machine for Rewriting (ND, NL), pp. 318–331.

ALP-1990-Bundgen #finite #term rewriting

Applying Term Rewriting Methods to Finite Groups (RB), pp. 332–346.

ALP-1990-Hofbauer #multi #order #proving #recursion #termination

Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths (DH), pp. 347–358.

ALP-1990-Li #complexity #optimisation

Optimization of Rewriting and Complexity of Rewriting (KL), pp. 359–371.

ALP-1990-Steinbach #term rewriting

AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering (JS), pp. 372–386.