EQUATIONAL CONSTRUCTOR INDUCTION

Authors:
Inge Bethke;Piet Rodenburg
Affiliations:
Faculty of Philosophy, UU. Heidelberglaan 8, 3584 CS Utrecht, The Netherlands;Programming Research Group, UvA, Kruislaan 403. 1098 SJ Amsterdam, The Netherlands
Venue:
Fundamenta Informaticae
Year:
1996

Citing 3
Cited 0

Partial evaluation and &ohgr;-completeness of algebraic specifications

Theoretical Computer Science
Initiality, induction, and computability

Algebraic methods in semantics
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an extension of purely equational reasoning with an induction rule, to obtain an intermediate between the equational theory of an algebraic specification and its ω-closure.