Recursive schema definitions in object-Z

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1878, Issue , 2000, Pages 42-58

  Smith, Graeme ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FIXED POINTS; OBJECT Z; OBJECT-ORIENTED PROGRAM; RECURSIVE STRUCTURE;

OBJECT ORIENTED PROGRAMMING;

EID: 84937405953     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44525-0_4     Document Type: Conference Paper

References (8)

1. R.-J. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science. Springer-Verlag, 1998.
2. R. Duke, G. Rose, and G. Smith. ObjectZ: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511-533, 1995.
3. A. Griffiths. An extended semantic foundation for Object-Z. In 1996 Asia-Pacific Software Engineering Conference (APSEC'96), pages 194-207. IEEE Computer Society Press, 1996.
4. A. Griffiths. A semantics for recursive operations in Object-Z. In L. Groves and S. Reeves, editors, Formal Methods Pacific'97 (FMP'97), pages 81-102. Springer-Verlag, 1997.
5. A. Griffiths. A Formal Semantics to Support Modular Reasoning in Object-Z. PhD thesis, Software Verification Research Centre, University of Queensland, 1998.
6. D. Scott and C. Gunther. Semantic domains and denotational semantics. In Handbook of Theoretical Computer Science, chapter 12, pages 633-674. Elsevier Science Publisher, 1990.
7. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.
8. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992.