B.Jacobs. Behaviour-refinement of object-oriented specifications with coinductive correctness proofs, TAPSOFT'97, M.Bidoit, et. al. eds., Springer LNCS 1214, 1997, 787--802. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
From Set-theoretic Coinduction to Coalgebraic Coinduction: some.. - Lenisa (1999) (12 citations) (Correct)
....see e.g. Acz88, AM89, Acz93, RT93, RT94, Tur96, TP97, Len98] Work supported by Esprit Working Group Types , MURST 97 Cofin. Sistemi Formali. grant, TMR Linear FMRX CT98 0170. 1 we shall refer to it as coalgebraic coinduction. Coalgebraic coinduction has proved to be extremely fertile ([HL95, Jac96, Len96, Rut96, Jac97, RV97, HLMP98, Mos, Len99]) For instance, it has spurred the development of Final Semantics, a methodology for understanding the correspondence between syntax and operational semantics of programming languages. Whenever coalgebraic coinduction is successful, it overcomes many of the defects of set theoretic coinduction. ....
B.Jacobs. Behaviour-refinement of object-oriented specifications with coinductive correctness proofs, TAPSOFT'97, M.Bidoit, et. al. eds., Springer LNCS 1214, 1997, 787--802.
Universal Coalgebra: a Theory of Systems - Rutten (1996) (177 citations) (Correct)
.... on (final) coalgebraic semantics includes [Tur96] which gives a systematic comparison of final coalgebra and initial algebra semantics for concurrent languages; Rei95] on object oriented programming; HL95] on a model for the lambda calculus; Len96] on a higher order concurrent language; [Jac96a], on behaviour refinement in object oriented programming. The following papers are using non wellfounded sets as the starting point for semantics: Rut92] Acz94] and [FHL94] on processes and non wellfounded sets; BM96] a recent textbook on non wellfounded sets and circularity; and [MD97] ....
B. Jacobs. Behaviour-refinement of object-oriented specifications with coinductive correctness proofs. Report CSI-R9618, Computing Science Institute, University of Nijmegen, 1996. To appear in the proceedings of TAPSOFT'97.
Coalgebraic Semantics and Observational Equivalences of an .. - Honsell, Lenisa, al. (Correct)
No context found.
B.Jacobs. Behaviour-refinement of object-oriented specifications with coinductive correctness proofs, TAPSOFT'97, M.Bidoit, et. al. eds., Springer LNCS 1214, 1997, 787--802.
Coalgebraic Semantics of an Imperative Class Based Language - Honsell, Lenisa (Correct)
No context found.
B.Jacobs. Behaviour-refinement of object-oriented specifications with coinductive correctness proofs, TAPSOFT'97, M.Bidoit, et. al. eds., Springer LNCS 1214, 1997, 787--802.
From Set-theoretic Coinduction to Coalgebraic Coinduction: some.. - Lenisa (1999) (12 citations) (Correct)
No context found.
Jac97. B.Jacobs. Behaviour-refinement of object-oriented specifications with coinductive correctness proofs, TAPSOFT'97, M.Bidoit, et. al. eds., Springer LNCS 1214, 1997, 787--802.
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