A prospective-value semantics for the GSL

Lecture Notes in Computer Science

Volumn 3455, Issue , 2005, Pages 187-202

  Zeyda, Frank ^a   Stoddart, Bill ^a   Dunne, Steve ^a  

^a TEESSIDE UNIVERSITY   (United Kingdom)

Author keywords

B Method; Bunch theory; Expression transformers; Generalised substitution; Prospective value semantics; Wp calculus

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; ITERATIVE METHODS; THEOREM PROVING;

B METHOD; BUNCH THEORY; EXPRESSION TRANSFORMERS; GENERALIZED SUBSTITUTION LANGUAGE; PROSPECTIVE VALUE SEMANTICS (PV); WP CALCULUS;

SEMANTICS;

EID: 24644497720     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11415787_12     Document Type: Conference Paper

References (8)

1. J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. Ralph-Johan Back and Joakim von Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science. Springer-Verlage, 1998.
3. S. Dunne. A theory of generalised substitutions. In ZB 2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pages 270-290. Springer-Verlag, January 2002.
4. E. C. R. Hehner. Bunch theory: A simple set theory for computer science. Information Processing Letters, 12(1):26-30, February 1981.
5. E. C. R. Hehner. A Practical Theory of Programming. Texts and Monographs in Computer Science. Springer-Verlag, 1993.
6. J. M. Morris and Bunkenburg A. A theory of bunches. Acta Informatica, 37(8):541-561, May 2001.
7. W. J. Stoddart and F. Zeyda. Expression transformers in B-GSL. In ZB 2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science, pages 197-215. Springer-Verlag, January 2003.
8. A. Tarski. A lattice-theoretical fixed-point theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.