A semantic model of a small typed functional language using Object-Z
暂无分享,去创建一个
[1] Jin Song Dong,et al. The Geometry of Object Containment , 1994 .
[2] Jin Song Dong,et al. Active objects in TCOZ , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
[3] David A. Watt,et al. The Structure of Typed Programming Languages , 1995 .
[4] Graeme Smith,et al. The Object-Z Specification Language , 1999, Advances in Formal Methods.
[5] David A. Schmidt,et al. Denotationaisemantics: a methodology for language development , 1986 .
[6] Jin Song Dong,et al. An Object Semantic Model of SOFL , 1999, IFM.
[7] Jin Song Dong,et al. Network Topology and a Case Study in TCOZ , 1998, ZUM.
[8] Roger Duke,et al. Formal Object Oriented Specification Using Object-Z , 2000 .
[9] Jin Song Dong,et al. An object-oriented denotational semantics of a small programming language , 1997, Object Oriented Syst..