We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
from PART III - GUMBO SOOP
Published online by Cambridge University Press: 01 June 2011
“Learn the rules so you know how to break them properly.”
Tenzin Gyatso, The 14th Dalai LamaWhy Be Formal?
Whereas Parts I and II focused on canonical examples, Part III marches toward complete applications, resplendent with runtime considerations. The current chapter addresses code and compiler correctness. Chapter 11 discusses language interoperability. Chapter 12 addresses scalability and weaves elements of the entire book into a vision for multiphysics framework design.
Formal methods form an important branch of software engineering that has apparently been applied to the design of only a small percentage of scientific simulation programs (Bientinesi and van de Geijn 2005; van Engelen and Cats 1997). Two pillars of formalization are specification and verification – that is, specifying mathematically what a program must do and verifying the correctness of an algorithm with respect to the specification. The numerical aspects of scientific programming are already formal. The mathematical equations one wishes to solve in a given scientific simulation provide a formal specification, whereas a proof of numerical convergence provides a formal verification. Hence, formal methods developers often cite a motivation of seeking correctness standards for non-scientific codes as rigorous as those for scientific codes (Oliveria 1997). This ignores, however, the nonnumerical aspects of scientific programs that could benefit from greater rigor. One such aspect is memory management. The current chapter specifies formal constraints on memory allocations in the Fortran implementation of the Burgers equation solver from Chapter 9.
To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Find out more about the Kindle Personal Document Service.
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.
