Jurgen Dingel. Approximating UNITY. In Proceedings of the 2nd International Conference on Synchronization Models and Languages (COORDINATION'97), volume 1282 of LNCS, pages 320-337, Berlin, Germany, September 1997. Springer Verlag. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Program Refinement in UNITY - Vos, Swierstra (2001) (Correct)
....In [Sin93] similar theorems are proved for program transformations like data re nement and atomicity re nement, and applied to to a number of examples. 5. 4 Further reading For some other work on re nement concepts within the UNITY (or a UNITY like) framework, the reader can for example read [ZGK90, Jon90, Kor91, Udi95, UK96, Din97, GKSU98]. 6 Re nement in UNITY Within the UNITY framework [CM89] two re nements are distinguished: restricted union superposition, and augmentation superposition. It is recognised in [CM89] that the lack of appropriate syntactic mechanisms limits the algebraic treatment of superposition. Consequently, ....
Jurgen Dingel. Approximating UNITY. In Proceedings of the 2nd International Conference on Synchronization Models and Languages (COORDINATION'97), volume 1282 of LNCS, pages 320-337, Berlin, Germany, September 1997. Springer Verlag.
Reasoning About Implicit Invocation - Dingel, Garlan, Jha, Notkin (1998) (10 citations) Self-citation (Dingel) (Correct)
....formally. We also intend to investigate the hierarchical (or recursive) use of our methodology. This would allow us to view an entire system as a component of yet another system and would thus allow for the development of a stepwise refinement strategy. Previous work on refinement for UNITY (e.g. [CM88, San90, Din97]) may be helpful here. ....
J. Dingel. Approximating UNITY. In Second International Conference on Coordination Models and Languages, LNCS 1282, pages 320--337. Springer Verlag, September 1997.
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