BOOK-CHAPTER
Experience with inductive assertions for proving programs correct
Year: 1971 Lecture notes in mathematics Pages: 236-251 Publisher: Springer Nature
Keywords:
Mathematics Calculus (dental) Inductive reasoning Inductive method Epistemology Mathematical economics Mathematics education Philosophy Statistics Medicine Orthodontics Teaching method
Metrics
9
Cited By
6.54
FWCI (Field Weighted Citation Impact)
0
Refs
0.91
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Teaching and Learning Programming
Physical Sciences → Computer Science → Computer Science Applications
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Proving assertions about parallel programs
Journal: Journal of Computer and System Sciences Year: 1975 Vol: 10 (1)Pages: 110-135
JOURNAL ARTICLE
Proving Programs Correct
Journal: Journal of the Operational Research Society Year: 1980 Vol: 31 (2)Pages: 198-198
JOURNAL ARTICLE
Proving Programs Correct
Journal: Journal of the Operational Research Society Year: 1980 Vol: 31 (2)Pages: 198-198
JOURNAL ARTICLE
Finding Invariant assertions for proving programs
Journal: ACM SIGPLAN Notices Year: 1975 Vol: 10 (6)Pages: 165-171