A correctness proof of sorting by means of formal procedures


Fokkinga, Maarten M. (1987) A correctness proof of sorting by means of formal procedures. Science of computer programming, 9 (3). pp. 263-269. ISSN 0167-6423

open access
Abstract:We consider a recursive sorting algorithm in which, in each invocation, a new variable and a new procedure (using the variable globally) are defined and the procedure is passed to recursive calls. This algorithm is proved correct with Hoare-style pre- and postassertions. We also discuss the same algorithm expressed as a functional program.
Item Type:Article
Additional information:Imported from EWI/DB PMS [db-utwente:arti:0000003417]
Copyright:© 1987 Elsevier Science
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66237
Official URL:https://doi.org/10.1016/0167-6423(87)90009-8
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page