Transformational Verification of Quicksort

Bibliográfalaš dieđut

Publikašuvnnas:	arXiv.org (Aug 7, 2020), p. n/a
Váldodahkki:	De Angelis, Emanuele
Eará dahkkit:	Fioravanti, Fabio, Proietti, Maurizio
Almmustuhtton:	Cornell University Library, arXiv.org
Fáttát:	Translating Algorithms Program verification (computers) Transformations Properties (attributes) Logic programs Functional programming Constraints Data structures Programming languages
Liŋkkat:	Citation/Abstract Full text outside of ProQuest
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!