A constructive approach to the problem of program correctness-Reference-Cited by-同舟云学术

A constructive approach to the problem of program correctness

Published:1968-09 Issue:3 Volume:8 Page:174-186
ISSN:0006-3835
Container-title:BIT
language:en
Short-container-title:BIT

Author:

Dijkstra E. W.

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Computational Mathematics,Computer Networks and Communications,Software

Link

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

Reference3 articles.

1. Robert W. Floyd,Assigning Meanings to Programs, Proceedings of Symposia in Applied Mathematics, Volume 19,Mathematical Aspects of Computer Science, pg. 19–32, American Mathematical Society, 1967.

2. John McCarthy and James Painter,Correctness of a Compiler for Arithmetic Expressions, Technical Report No. CS38, April 29, 1966, Computer Science Department, Stanford University.

3. Peter Naur,Proof of Algorithms by General Snapshots, BIT vol. 6, 1966, pg. 310–316.

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

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. Programar en la universidad. Cuadernillo de apoyo cognitivo para el análisis de los procesos;Revista Colombiana de Computación;2024-06-30

3. Manipulator Motion Planning Based on Prior Knowledge Guidance in Complex Constrained Environment;2023 42nd Chinese Control Conference (CCC);2023-07-24

4. Verification-Driven Design for Asynchronous VLSI;2023 28th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2023-07-16

5. Less is more: refinement proofs for probabilistic proofs;2023 IEEE Symposium on Security and Privacy (SP);2023-05