Deductive program verification (a practitioner's commentary)-Reference-Cited by-同舟云学术

Deductive program verification (a practitioner's commentary)

Published:1992-08 Issue:3 Volume:2 Page:283-307
ISSN:0924-6495
Container-title:Minds and Machines
language:en
Short-container-title:Mind Mach

Author:

Nelson David A.

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Philosophy

Link

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

Reference43 articles.

1. Abrahams, P. (1988), ‘Specifications and Illusions’,Communications of the ACM 31 (5), pp. 480–481.

2. Barwise, J. (1989), ‘Mathematical Proofs of Computer System Correctness’,Notices of the American Mathematical Society 36(7), pp. 844–851.

3. Bassett, P.G. (1987), ‘Brittle Software: A Programming Paradox’,Journal of Information Systems Management 4(7), pp. 23–27.

4. Bauer, F.L. (1971), ‘Software Engineering’,IFIP Congress 71, New York: North-Holland, Vol. I, pp. 267–274.

5. Bauer, F.L. (1985), ‘Where Does Computer Science Come from and Where Is It Going?’, in Neuhold, E.J. and Ghroust, G. (eds.),Formal Models in Programming, New York: North-Holland, pp. 31–44.

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

1. Static Analysis for Proactive Security;Lecture Notes in Computer Science;2019

2. Going to Ground with Symbols;The Seductive Computer;2010-09-09

3. Implementation is semantic interpretation: further thoughts;Journal of Experimental & Theoretical Artificial Intelligence;2005-12

4. Computer Reliability and Public Policy: Limits of Knowledge of Computer-Based Systems;Computers and Cognition: Why Minds are not Machines;2001

5. Philosophy and Computer Science;Computers and Cognition: Why Minds are not Machines;2001