Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $9.99/month after trial. Cancel anytime.

    Unavailable
    Program Proofs
    Unavailable
    Program Proofs
    Unavailable
    Program Proofs
    Ebook611 pages8 hours

    Program Proofs

    By K. Rustan M. Leino and Kaleb Leino

    ()

    Currently unavailable

    Currently unavailable

    About this ebook

    This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.

    Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Writing with clarity and humor, K. Rustan M. Leino first provides an overview of the basic theory behind reasoning about programs. He then gradually builds up to complex concepts and applications, until students are facing real programs using objects, data structures, and non-trivial recursion. To emphasize the practical nature of program proofs, all material and examples use the verification-aware programming language Dafny, but no previous knowledge of Dafny is assumed.

    • Written in a highly readable and student-friendly style
    • Builds up to complex concepts in an incremental manner 
    • Comprehensively covers how to write proofs and how to specify and verify both functional programs and imperative programs
    • Uses real program text from a real programming language, not psuedo code
    • Features engaging illustrations and hands-on learning exercises 
    LanguageEnglish
    PublisherThe MIT Press
    Release dateMar 7, 2023
    ISBN9780262375429
    Unavailable
    Program Proofs

    Related to Program Proofs

    Related ebooks

    Programming For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      GO Inside Parsing – How Go Handles The Code

      Jul 30, 2019

      This tutorial has two aspects: a theoretical one and a practical one. In the theoretical part, you will learn about parsing, grammar and regular expressions; this is how languages are built and therefore understood in terms of construction and usage.

      8 min read

    • Article

      Overall Usefulness

      Sep 22, 2020

      Overall Usefulness
      3 min read

    • Article

      Getting Started

      Sep 22, 2020

      Getting Started
      1 min read

    • Article

      Software Whiteboards

      Jul 26, 2022

      Software Whiteboards
      1 min read

    • Article

      Day-to-day Usability

      Jul 26, 2022

      Day-to-day Usability
      3 min read

    • Article

      Putting Your Words In Order

      Jun 3, 2021

      Putting Your Words In Order
      5 min read

    • Article

      Mac Writing Apps

      Nov 15, 2022

      Mac Writing Apps
      5 min read

    • Article

      Group Test

      Nov 8, 2022

      Group Test
      5 min read

    • Article

      SYNC OR SWIM Trello

      Sep 15, 2019

      SYNC OR SWIM Trello
      8 min read

    • Article

      Manage Notes And Projects

      Feb 25, 2021

      Developer Momenta B.V. Difficulty Time needed There are countless notes apps on the App Store alongside even more calendar and task management apps, and even Apple offers solutions for each within macOS and iOS. They are considered essential and righ

      2 min read

    • Article

      Student Assistant Prof

      Feb 22, 2017

      Student Assistant Prof
      1 min read

    • Article

      Documentation

      Mar 10, 2020

      Documentation
      1 min read

    • Article

      Write A Novel On Your Mac

      Apr 22, 2021

      Write A Novel On Your Mac
      11 min read

    • Article

      Mathematics Packages

      Sep 22, 2020

      Mathematics Packages
      1 min read

    • Article

      SYNC OR SWIM Rough Animator

      Dec 1, 2019

      SYNC OR SWIM Rough Animator
      11 min read

    • Article

      Variety Of Modules

      Jul 26, 2022

      Y our own scribbles are a good way to start organising your thoughts, but they’re not always helpful when trying to teach others. In many subjects, using tools to show what happens in reality works best. You may want to show how a scale works, and so

      1 min read

    • Article

      Recording research Findings

      Aug 5, 2021

      Recording research Findings
      3 min read

    • Article

      How To Edit PDF Files

      Jan 30, 2024

      How To Edit PDF Files
      7 min read

    • Article

      Craft A Perfect Personal Document Library

      Jan 26, 2023

      There are countless apps available that can be used to organise your notes and also many word processors designed to help you create smart-looking documents, but Craft aims to do both in style. The idea is to include a huge number of advanced documen

      1 min read

    • Article

      Going From RDC To PGC

      Jun 1, 2021

      This month, Arduino guru Jack Purdum, W8TEE, sits in as Guest Columnist. Working with microcontrollers often requires more than a soldering iron … while many microcontroller projects use computer code already written by someone else, it is sometimes

      8 min read

    Related categories

    Reviews for Program Proofs

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words