The clean termination of Pascal programs-Reference-Cited by-同舟云学术

The clean termination of Pascal programs

Published:1979 Issue:3 Volume:11 Page:195-210
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Coleman D.,Hughes J. W.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00289066.pdf

Reference8 articles.

1. Hoare, C.A.R.: An Axiomatic Basis for Computer Programming, CACM 12, 576?583 (1969)

2. Hoare, C.A.R.: An Axiomatic Definition of the Programming Language PASCAL. Lecture Notes in Computer Science, vol. 5. International Symposium in Theoretical Programming, Berlin-Heidelberg-New York: Springer-Verlag 1974

3. Hoare, C.A.R., Lauer, P.E.: Consistent and Complementary Formal Theories of the Semantics of Programming Languages, Acta Informatica 3, 135?153 (1974)

4. Hoare, C.A.R., Wirth, N.: An Axiomatic Definition of the Programming Language PASCAL, Acta Informatica 2, 335?355 (1973)

5. Jensen, K., Wirth, N.: PASCAL User Manual, 2nd Edition, Berlin-Heidelberg-New York: Springer-Verlag 1975

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

1. Clarifying Assumptions;Lecture Notes in Computer Science;2024

2. EB2ALL: An Automatic Code Generation Tool;Using Event-B for Critical Device Software Systems;2013

3. Engineering and theoretical underpinnings of retrenchment;Science of Computer Programming;2007-07

4. Controlling Control Systems: An Application of Evolving Retrenchment;ZB 2002:Formal Specification and Development in Z and B;2002

5. Retrenchment, Refinement, and Simulation;ZB 2000: Formal Specification and Development in Z and B;2000