A tutorial introduction to designs in unifying theories of programming

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

Volumn 2999, Issue , 2004, Pages 40-66

  Woodcock, Jim ^a   Cavalcanti, Ana ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FORMAL METHODS; SEMANTICS;

DENOTATIONAL SEMANTICS; HOARE LOGIC; IMPERATIVE PROGRAMMING; PROGRAMMING PARADIGMS; REFINEMENT CALCULI; RELATIONAL CALCULUS; UNIFYING THEORIES OF PROGRAMMING; WEAKEST PRECONDITION;

PROGRAMMING THEORY;

EID: 22144469084     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24756-2_4     Document Type: Article

References (14)

1. J-R. Abrial. The B-Book: Assigning Progams to Meanings. Cambridge University Press, 1996.
2. R. J. R. Back and J. Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science. Springer-Verlag, 1998.
3. A. L. C. Cavalcanti, A. C. A. Sampaio, and J. C. P. Woodcock. A Refinement Strategy for Circus. Formal Aspects of Computing, 15(2 - 3):146 - 181, 2003.
4. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
5. S. Dunne. Recasting Hoare and He's Unifying Theories of Programs in the Context of General Correctness. In A. Butterfield and C. Pahl, editors, IWFM'01: 5th Irish Workshop in Formal Methods, BCS Electronic Workshops in Computing, Dublin, Ireland, July 2001.
6. C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice-Hall, 1998.
7. C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, 1986.
8. C. C. Morgan. Programming from Specifications. Prentice-Hall, 2nd edition, 1994.
9. J. M. Morris. A Theoretical Basis for Stepwise Refinement and the Programming Calculus. Science of Computer Programming, 9(3):287-306, 1987.
10. S. Qin, J. S. Dong, and W. N. Chin. A Semantic Foundation for TCOZ in Unifying Theories of Programming. In K. Araki, S. Gnesi, and D. Mandrioli, editors, FME2003: Formal Methods, volume 2805 of Lecture Notes in Computer Science, pages 321-340, 2003.
11. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall, 1998.
12. A. Sherif and He Jifeng. Towards a Time Model for Circus. In International Conference in Formal Engineering Methods, pages 613-624, 2002.
13. J. C. P. Woodcock and A. L. C. Cavalcanti. The Semantics of Circus. In D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, editors, ZB 2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pages 184-203. Springer-Verlag, 2002.
14. J. C. P. Woodcock and J. Davies. Using Z-Specification, Refinement, and Proof. Prentice-Hall, 1996.