๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Axiomatic approach to total correctness of programs

โœ Scribed by Zohar Manna; Amir Pnueli

Publisher
Springer-Verlag
Year
1974
Tongue
English
Weight
856 KB
Volume
3
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An Axiomatic Approach to Robust Geometri
An Axiomatic Approach to Robust Geometric Programs
โœ Peter Schorn ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 337 KB

Creating robust geometric programs, i.e., programs that handle degenerate configurations correctly, is a difficult problem, especially if the underlying geometric primitives are implemented in floating point arithmetic. This paper presents an axiomatic method for constructing programs built on impre