论文信息 - Equational Constructor Induction

Equational Constructor Induction

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.

Inge Bethke | Pieter Hendrik Rodenburg | I. Bethke | P. Rodenburg

[1] José Meseguer,et al. Initiality, induction, and computability , 1986 .

[2] Jean Benabou,et al. Structures algébriques dans les catégories , 1968 .

[3] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[4] G. Birkhoff,et al. On the Structure of Abstract Algebras , 1935 .

[5] J Heering,et al. Partial Evaluation and omega-Completeness of Algebraic Specifications , 1986, Theor. Comput. Sci..

[6] John C. Reynolds,et al. Algebraic Methods in Semantics , 1985 .