• Login
    View Item 
    •   MINDS@UW Home
    • MINDS@UW Madison
    • College of Letters and Science, University of Wisconsin–Madison
    • Department of Computer Sciences, UW-Madison
    • CS Technical Reports
    • View Item
    •   MINDS@UW Home
    • MINDS@UW Madison
    • College of Letters and Science, University of Wisconsin–Madison
    • Department of Computer Sciences, UW-Madison
    • CS Technical Reports
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Correctness of the Algol Procedure Askforhand

    Thumbnail
    File(s)
    TR50.pdf (3.131Mb)
    Date
    1968
    Author
    London, Ralph L.
    Publisher
    University of Wisconsin-Madison Department of Computer Sciences
    Metadata
    Show full item record
    Abstract
    Reasons are given to justify the writing of this particular proof of correctness. They include (i) illustration of some new techniques of proof, (ii) experimentation with a method of presenting a proof and (iii) presentation of an example of a successful proof to encourage more such proofs of other programs. The specific example is an Algol procedure ASKFORHAND which is supposed to read a bridge hand from a teletype. That task is defined and a proof is given that the procedure properly performs this task.
    Permanent Link
    http://digital.library.wisc.edu/1793/57548
    Citation
    TR50
    Part of
    • CS Technical Reports

    Contact Us | Send Feedback
     

     

    Browse

    All of MINDS@UWCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Contact Us | Send Feedback