Laws of programming

Communications of the ACM

Volumn 30, Issue 8, 1987, Pages 672-686

  Hoare, C A R ^a   Hayes, I J ^b   Jifeng, He ^c   Morgan, C C ^c   Roscoe, A W ^c   Sanders, J W ^c   Sorensen, I H ^c   Spivey, J M ^c   Sufrin, B A ^c  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b UNIVERSITY OF QUEENSLAND   (Australia)

^c UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - PROGRAMMING THEORY; COMPUTER PROGRAMMING - THEORY;

NONDETERMINISTIC SEQUENTIAL PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0023399227     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/27651.27653     Document Type: Article

References (13)

1. Backhouse, R.C. Program Construction and Verification. Prentice-Hall International, London, 1968.
2. Backus, J. Can programming be liberated from the von Neumann style? Commun. ACM 21, 8 (Aug. 1978), 613–641.
3. de Bakker, J.W. Mathematical Theory of Program Correctness. Prentice-Hall International, London, 1980.
4. Dijkstra, E.W. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, N.J., 1976.
5. Gries, D. The Science of Programming. Springer-Verlag, New York, 1981.
6. Hehner, E.C.R. Predicative programming parts I and II. Commun. ACM 27, 2 (Feb. 1984), 134–151.
7. Hoare, C.A.R., and He, J. Weakest prespecification. Tech. Monogr. PRG-44, Programming Research Group, Oxford Univ., 1985.
8. Igarishi, S. An axiomatic approach to equivalence problems of algorithms with applications. Rep., Computer Centre, Univ. of Tokyo, 1968.
9. Jones, C.B. Software Development: A Rigorous Approach. Prentice-Hall International, London, 1980.
10. Kowalski, R.A. The relation between logic programming and logic specification. In Mathematical logic and Programming Languages, C.A.R. Hoare and J.C. Shepherdson, Eds. Prentice-Hall International, London, 1985, pp. 11–27.
11. Roscoe, A.W. Laws of Occam programming. Tech. Monogr. PRG-53, Programming Research Group, Oxford Univ., 1986.
12. Scott, D.S. Outline of a mathematical theory of computation. Tech. Monogr. PRG-2, Programming Research Group, Oxford Univ., 1970.
13. Tarski, A. On the calculus of relations, J. Symbolic Logic 6 (1941), 73–89.