Unified Theories of Programming-Reference-Cited by-同舟云学术

Unified Theories of Programming

Published:1997 Issue: Volume: Page:313-367
ISSN:
Container-title:Mathematical Methods in Program Development
language:
Short-container-title:

Author:

Hoare C. A. R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-60858-2_21.pdf

Reference17 articles.

1. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall Series in Automatic Computation. Prentice-Hall, 1976.

2. Robin Milner. A Calculus of Communicating Systems. Springer, 1980. Lecture Notes in Computer Science, Volume 92.

3. J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37(1):77–121,1985.

4. S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31:560–599,1984.

5. Dana Scott and Christopher Strachey. Towards a mathematical semantics for computer languages. In Proceedings, 21st Symposium on Computersand Automata, pages 19-46. Polytechnic Institute of Brooklyn, 1971. Also Technical Monograph PRG 6, Oxford University, Programming Research Group.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Toward a theory of program repair;Acta Informatica;2023-03-27

2. List of Tony Hoare’s Publications;Theories of Programming;2021-10-02

3. Bridging Arrays and ADTs in Recursive Proofs;Tools and Algorithms for the Construction and Analysis of Systems;2021

4. Domain Engineering: a “Radical Innovation” for Software and Systems Engineering?;Lecture Notes in Computer Science;2003

5. Combining Specification Techniques for Processes, Data and Time;Lecture Notes in Computer Science;2002