Title :
A semantic model of a small typed functional language using Object-Z
Abstract :
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
Keywords :
abstract data types; functional languages; object-oriented languages; object-oriented methods; programming language semantics; specification languages; Object-Z notation; denotational semantics; meta-language; object-oriented procedural languages; programming languages; semantic model; specification languages; typed functional language; Arithmetic; Books; Object oriented modeling; Packaging;
Conference_Titel :
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
Print_ISBN :
0-7695-0915-0
DOI :
10.1109/APSEC.2000.896706
