Bart Jacobs, Objects and Classes Co-Algebraically. In B. Freitag, C.B. Jones, C. Lengauer, and HJ. Schek, eds., Object-Orientation and Parallelism and Persistence. Kluwer Acad. Publ., 1996, 83-103. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Equational Reasoning with Subtypes - Gary Leavens And (Correct)
....that are not attributes induce transitions between states. The term constructors which we introduced earlier for such methods is appropriate for the algebraic but not for the transition system paradigm. At a more abstract level the transition system paradigm can be characterized as coalgebraic [19, 20, 35] with coinduction as the basis of the corresponding proof theory. This is in contrast to the algebraic paradigm where induction forms the basis of the proof theory. Behavioral equivalence has proved to be a useful device for importing transition system and coalgebraic methods into the algebraic ....
Bart Jacobs, Objects and Classes Co-Algebraically. In B. Freitag, C.B. Jones, C. Lengauer, and HJ. Schek, eds., Object-Orientation and Parallelism and Persistence. Kluwer Acad. Publ., 1996, 83-103.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC