Loop invariants, exploration of regularities, and mathematical games

DOI10.1080/00207390110038303zbMath1007.68120OpenAlexW1987082183MaRDI 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

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

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

This page was built for publication: Loop invariants, exploration of regularities, and mathematical games