Abstract
In this chapter we consider an example programming problem and its solution in Piton. The problem is to specify, implement, and verify a program for doing “big number addition.” This chapter is a rather long but instructive detour from our main goal of implementing Piton on FM9001 and proving the implementation correct.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
(1996). Big Number Addition. In: Piton. Automated Reasoning Series, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-0-585-33654-1_4
Download citation
DOI: https://doi.org/10.1007/978-0-585-33654-1_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-0-7923-3920-5
Online ISBN: 978-0-585-33654-1
eBook Packages: Springer Book Archive