A semantic model of a small typed functional language using Object-Z

The Object-Z notation is a good meta-language that can be used to specify the denotational semantics of programming languages. It has been effectively applied to some categories of languages. These include the procedural languages, the object-oriented procedural languages and specification languages. To widen these categories, this paper applies Object-Z to the specification of the semantics of a small typed functional language.

[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..