Loop invariants, exploration of regularities, and mathematical games

DOI10.1080/00207390110038303zbMath1007.68120MaRDI QIDQ3150453

David Ginat

Publication date: 17 October 2002

Published in: International Journal of Mathematical Education in Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207390110038303

zbMATH Keywords

loop invariants

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68Q60: Specification and verification (program logics, model checking, etc.)

Cites Work

• Discovering relationships and patterns by exploring trapezoidal numbers
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item