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: 3955
Download times: 2203
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

 

 

more>>  
Visitor:2001141
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
京ICP备05046678号-5

京公网安备 11040202500065号