Euclid Writes an Algorithm: A Fairytale
    Download PDF
Leslie Lamport. Euclid Writes an Algorithm: A Fairytale. International Journal of Software and Informatics, 2011,5(1-2Part1):7~20
Hits: 4210
Download times: 2398
Abstract:How Euclid might have written and checked the correctness of his famous algorithm had he been a little further ahead of his time.
keywords:Euclid's algorithm  TLA+  verification
View Full Text  View/Add Comment  Download reader



Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences

京公网安备 11040202500065号