Supporting contexts in program refinement

Science of Computer Programming

Volumn 29, Issue 3, 1997, Pages 279-302

  Nickson, Ray ^a   Hayes, Ian ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM WINDOW INFERENCE; REFINEMENT CALCULUS;

CONTEXT SENSITIVE LANGUAGES; FILE EDITORS; THEOREM PROVING;

SOFTWARE ENGINEERING;

EID: 0031233414     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0167-6423(97)00002-6     Document Type: Article

References (22)

1. R.J.R. Back, A calculus of refinements for program derivations, Acta Inform. 25 (1988) 593-624.
2. R.J.R. Back, Refinement diagrams, in: J.M. Morris, R.C. Shaw (Eds.), Fourth Refinement Workshop, Workshops in Computing, BCS FACS, Springer, Berlin, 1991, pp. 125-137.
3. R.J.R. Back, J. von Wright, Predicate transformers and higher order logic, in: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds.), Semantics: Foundations and Applications, Lecture Notes in Computer Science, Vol. 666, Springer, Berlin, 1992, pp. 1-20.
4. D. Carrington, I. Hayes, R. Nickson, G. Watson, J. Welsh, A tool for developing correct programs by refinement, in: He Jifeng (Ed.), Seventh Refinement Workshop, Workshops in Computing, BCS FACS, Springer, Berlin, 1996. Also available as TR-95-49, Software Verification Research Centre, The University of Queensland.
5. E.W. Dijkstra, A Discipline of Programming, Academic Press, New York, 1976.
6. E.W. Dijkstra, C.S. Scholten, Predicate Calculus and Program Semantics, Springer, Berlin, 1990.
7. J. Grundy, A window inference tool for refinement, in: C.B. Jones, R.C. Shaw, T. Denvir (Eds.), Fifth Refinement Workshop, Workshops in Computing, BCS FACS, Springer, Berlin, 1992, pp. 230-254.
8. E.C.R. Hehner, A practical theory of programming, Science of Computer Programming 14 (2-3) (1990) 133-158.
9. C.A.R. Hoare, Programs are predicates, in: C.A.R. Hoare, J.C. Shepherdson (Eds.), Mathematical Logic and Programming Languages, Prentice-Hall, Englewood Cliffs, NJ, 1985, pp. 141-155.
10. C. Morgan, The specification statement, in: Morgan and Vickers [15], pp. 1-21. Also in ACM Trans. Programm. Lang. Systems 10 (1988) 403-419.
11. C. Morgan, The specification statement, in: Morgan and Vickers [15], pp. 1-21. Also in ACM Trans. Programm. Lang. Systems 10 (1988) 403-419.
12. C. Morgan, Programming from Specifications, 2nd ed., Prentice-Hall, Englewood Cliffs, NJ, 1994.
13. J.M. Morris, A theoretical basis for stepwise refinement and the programming calculus, Science of Computer Programming 9 (1987) 287-306.
14. C.C. Morgan, K. Robinson, Specification statements and refinement, in: Morgan and Vickers [15], pp. 23-46. Also in IBM J. Res. Develop. 31 (1987) 546-555.
15. C.C. Morgan, K. Robinson, Specification statements and refinement, in: Morgan and Vickers [15], pp. 23-46. Also in IBM J. Res. Develop. 31 (1987) 546-555.
16. C. Morgan, T. Vickers, Types and invariants in the refinement calculus, in: On the Refinement Calculus [15], pp. 127-154. Also in Science of Computer Programming 14 (1990) 281-304.
17. C. Morgan, T. Vickers, Types and invariants in the refinement calculus, in: On the Refinement Calculus [15], pp. 127-154. Also in Science of Computer Programming 14 (1990) 281-304.
18. C. Morgan, T. Vickers (Eds.), On the Refinement Calculus, Springer, Berlin, 1994.
19. R. Nickson, I. Hayes, Program window inference, Technical Report 95-29, Software Verification Research Centre, Department of Computer Science, The University of Queensland, 1995.
20. P. Robinson, J. Staples, Formalizing a hierarchical structure of practical mathematical reasoning, J. Logic Comput. 3 (1) (1993) 47-61.
21. M. Utting, K. Whitwell, Ergo user manual, Technical Report 93-19, Software Verification Research Centre, The University of Queensland, 1994.
22. J. von Wright, Program refinement by theorem prover, in: D. Till (Ed.), Sixth Refinement Workshop, Workshops in Computing, BCS FACS, Springer, Berlin, 1994.