DocumentCode
2795035
Title
A semantic model of a small typed functional language using Object-Z
Author
Tan, Woon Kiong
fYear
2000
fDate
2000
Firstpage
249
Lastpage
257
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
ISSN
1530-1362
Print_ISBN
0-7695-0915-0
Type
conf
DOI
10.1109/APSEC.2000.896706
Filename
896706
Link To Document