Proceedings of the Second International Conference on Algebraic and Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.