Coalgebraic Reasoning about Classes in Object-Oriented Languages Export

@misc{citeulike:1029236, abstract = {This note briefly discusses how some of the ideas developed in the theory of coalgebras are used in a front-end tool called LOOP, developed jointly in Dresden and Nijmegen, for reasoning (with a back-end theorem prover) about classes in objectoriented languages. It will describe reasoning both about object-oriented specifications and about JAVA implementations, via examples. 1 Introduction One of the key aspects of object-orientation is that objects, as instances of a class, have a private...}, author = {Jacobs, B.}, citeulike-article-id = {1029236}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.7734}, keywords = {coalgebra, oop}, posted-at = {2007-01-08 00:37:58}, priority = {2}, title = {Coalgebraic Reasoning about Classes in Object-Oriented Languages}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.7734}, year = {1998} }

TY - GEN ID - citeulike:1029236 L3 - citeulike-article-id:1029236 N2 - This note briefly discusses how some of the ideas developed in the theory of coalgebras are used in a front-end tool called LOOP, developed jointly in Dresden and Nijmegen, for reasoning (with a back-end theorem prover) about classes in objectoriented languages. It will describe reasoning both about object-oriented specifications and about JAVA implementations, via examples. 1 Introduction One of the key aspects of object-orientation is that objects, as instances of a class, have a private... TI - Coalgebraic Reasoning about Classes in Object-Oriented Languages KW - coalgebra KW - oop AU - Jacobs, B PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.7734 ER -