loading...
A semantic model of a small typed functional language using Object-Z
Singapore December 05-December 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896706Seventh Asia-Pacific Software Enginee ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Woon Kiong Tan, "A semantic model of a small typed functional language using Object-Z," Asia-Pacific Software Engineering Conference, pp. 249, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2000.896706,
author = {Woon Kiong Tan},
title = {A semantic model of a small typed functional language using Object-Z},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2000},
issn = {1530-1362},
pages = {249},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896706},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - A semantic model of a small typed functional language using Object-Z
SN - 1530-1362
SP
EP
A1 - Woon Kiong Tan,
PY - 2000
KW - functional languages; abstract data types; programming language semantics; specification languages; object-oriented languages; object-oriented methods; semantic model; typed functional language; Object-Z notation; meta-language; denotational semantics; object-oriented procedural languages; specification languages; programming languages
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
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.
Index Terms:
functional languages; abstract data types; programming language semantics; specification languages; object-oriented languages; object-oriented methods; semantic model; typed functional language; Object-Z notation; meta-language; denotational semantics; object-oriented procedural languages; specification languages; programming languages
Citation:
Woon Kiong Tan, "A semantic model of a small typed functional language using Object-Z," apsec, pp.249, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.