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

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2000-January, Issue , 2000, Pages 249-257

  Tan, Woon Kiong ^a  

^a DSO NATIONAL LABORATORIES   (Singapore)

Author keywords

Arithmetic; Books; Object oriented modeling; Packaging

Indexed keywords

DIGITAL ARITHMETIC; OBJECT ORIENTED PROGRAMMING; PACKAGING; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

BOOKS; DENOTATIONAL SEMANTICS; FUNCTIONAL LANGUAGES; META LANGUAGE; OBJECT ORIENTED; OBJECT ORIENTED MODEL; PROCEDURAL LANGUAGES; SEMANTIC MODEL;

COMPUTATIONAL LINGUISTICS;

EID: 84949520824     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2000.896706     Document Type: Conference Paper

References (9)

1. B. Mahony and J.S. Dong. Network Topology and a Case Study in TCOZ. In 11th International Conference of Z Users (ZUM'98), volume 1493 of Lecture Notes in Computer Science, pages 308-327, Berlin, Germany, Sep 1998. Springer-Verlag.
2. David A. Schmidt. Denotational Semantics - A Methodology for Language Development. Wm. C. Brown Publishers, 1988.
3. David A. Schmidt. The Structure of Typed Programming Languages. Cambridge Mass: MIT Press, 1994.
4. Duke and Rose. Formal Object-Oriented Specification Using Object-Z. Macmillan, 2000.
5. G. Smith. The Object-Z Specification Language. Kluwer, 1999.
6. J.S. Dong and B. Mahony. Active Object in TCOZ. In 1998 IEEE International Conference on Formal Engineering Methods (ICFEM'98), pages 16-25, Brisbane, Australia, Dec 1998. IEEE Computer Society Press.
7. J.S. Dong and R. Duke. The Geometry of Object Containment. Object-Oriented Systems (OOS), 2(1):41-63, March 1995.
8. J.S. Dong and S. Liu. An Object Semantic Model of (the graghical and textual notation) SOFL. In Integrated Formal Methods (IFM'99), pages 189-208, York, UK, June 1999. Springer-Verlag.
9. J.S. Dong, R. Duke and G. Rose. An Object-Oriented Denotational Semantics of A Small Programming Language. Object-Oriented Systems (OOS), 4(1):29-52, 1997.