Computer Arithmetic and Formal Proofs

Written By Sylvie Boldo
Computer Arithmetic and Formal Proofs
  • Publsiher : Elsevier
  • Release : 17 November 2017
  • ISBN : 0081011709
  • Pages : 326 pages
  • Rating : 4/5 from 21 reviews
GET THIS BOOKComputer Arithmetic and Formal Proofs


Read or download book entitled Computer Arithmetic and Formal Proofs written by Sylvie Boldo which was release on 17 November 2017, this book published by Elsevier. Available in PDF, EPUB and Kindle Format. Book excerpt: Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs. This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation. Describes the notions of specification and weakest precondition computation and their practical use Shows how to tackle algorithms that extend beyond the realm of simple floating-point arithmetic Includes real analysis and a case study about numerical analysis

Computer Arithmetic and Formal Proofs

Computer Arithmetic and Formal Proofs
  • Author : Sylvie Boldo,Guillaume Melquiond
  • Publisher : Elsevier
  • Release Date : 2017-11-17
  • Total pages : 326
  • ISBN : 0081011709
GET BOOK

Summary : Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification ...

Computer Arithmetic and Enclosure Methods

Computer Arithmetic and Enclosure Methods
  • Author : Lidiya Atanassova,Jurgen Herzberger,Jürgen Herzberger
  • Publisher : North Holland
  • Release Date : 1992
  • Total pages : 504
  • ISBN : 0081011709
GET BOOK

Summary : Scientists concerned with the interaction between computer arithmetic, programming languages and scientific computing will be particularly interested in this book. It focuses on papers presented at the conference and highlights the increasing impact of SCAN-91 in this area. The volume contains original research and expository articles on the field of ...

Handbook of Floating Point Arithmetic

Handbook of Floating Point Arithmetic
  • Author : Jean-Michel Muller,Nicolas Brunie,Florent de Dinechin,Claude-Pierre Jeannerod,Mioara Joldes,Vincent Lefèvre,Guillaume Melquiond,Nathalie Revol,Serge Torres
  • Publisher : Birkhäuser
  • Release Date : 2018-05-02
  • Total pages : 627
  • ISBN : 0081011709
GET BOOK

Summary : Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is far from being exploited to its full potential. This handbook aims to provide a ...

Computer Arithmetic Scientific Computation and Mathematical Modelling

Computer Arithmetic  Scientific Computation and Mathematical Modelling
  • Author : Edgar W. Kaucher
  • Publisher : Unknown
  • Release Date : 1991
  • Total pages : 498
  • ISBN : 0081011709
GET BOOK

Summary : Download or read online Computer Arithmetic Scientific Computation and Mathematical Modelling written by Edgar W. Kaucher, published by which was released on 1991. Get Computer Arithmetic Scientific Computation and Mathematical Modelling Books now! Available in PDF, ePub and Kindle....

Conference Proceedings

Conference Proceedings
  • Author : European Microwave Conference
  • Publisher : Unknown
  • Release Date : 1991
  • Total pages : 212
  • ISBN : 0081011709
GET BOOK

Summary : Download or read online Conference Proceedings written by European Microwave Conference, published by which was released on 1991. Get Conference Proceedings Books now! Available in PDF, ePub and Kindle....

A Computer System for Checking Proofs

A Computer System for Checking Proofs
  • Author : Scott D. Johnson
  • Publisher : Unknown
  • Release Date : 1982
  • Total pages : 262
  • ISBN : 0081011709
GET BOOK

Summary : Download or read online A Computer System for Checking Proofs written by Scott D. Johnson, published by which was released on 1982. Get A Computer System for Checking Proofs Books now! Available in PDF, ePub and Kindle....

14th IEEE Symposium on Computer Arithmetic

14th IEEE Symposium on Computer Arithmetic
  • Author : Israel Koren,Peter Kornerup
  • Publisher : IEEE
  • Release Date : 1999
  • Total pages : 274
  • ISBN : 0081011709
GET BOOK

Summary : The proceedings of the April 1999 symposium consists of 31 papers that report scientific work being done on computer arithmetic, number systems, and the implementation of arithmetic processing components. The papers are divided into the general areas of processor enhancements, addition, division, cryptography and graphics, divide and square root, alternative number systems, ...

Formal Methods in Computer aided Design

Formal Methods in Computer aided Design
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 2002
  • Total pages : 212
  • ISBN : 0081011709
GET BOOK

Summary : Download or read online Formal Methods in Computer aided Design written by , published by which was released on 2002. Get Formal Methods in Computer aided Design Books now! Available in PDF, ePub and Kindle....

Tutorial Programming Language Design

Tutorial  Programming Language Design
  • Author : Anthony I. Wasserman
  • Publisher : Unknown
  • Release Date : 1980
  • Total pages : 527
  • ISBN : 0081011709
GET BOOK

Summary : Download or read online Tutorial Programming Language Design written by Anthony I. Wasserman, published by which was released on 1980. Get Tutorial Programming Language Design Books now! Available in PDF, ePub and Kindle....

Report on the Formal Specification and Partial Verification of the VIPER Microprocessor

Report on the Formal Specification and Partial Verification of the VIPER Microprocessor
  • Author : Bishop Brock
  • Publisher : Unknown
  • Release Date : 1990
  • Total pages : 25
  • ISBN : 0081011709
GET BOOK

Summary : Download or read online Report on the Formal Specification and Partial Verification of the VIPER Microprocessor written by Bishop Brock, published by which was released on 1990. Get Report on the Formal Specification and Partial Verification of the VIPER Microprocessor Books now! Available in PDF, ePub and Kindle....

3rd Symposium on Computer Arithmetic November 19 20 1975 Southern Methodist University Dallas Texas

3rd Symposium on Computer Arithmetic  November 19 20  1975  Southern Methodist University  Dallas  Texas
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 1975
  • Total pages : 249
  • ISBN : 0081011709
GET BOOK

Summary : Proceedings -- Computer Arithmetic, Algebra, OOP....

Formal Proofs and Refutations

Formal Proofs and Refutations
  • Author : Jesse Alama
  • Publisher : Unknown
  • Release Date : 2009
  • Total pages : 254
  • ISBN : 0081011709
GET BOOK

Summary : Download or read online Formal Proofs and Refutations written by Jesse Alama, published by which was released on 2009. Get Formal Proofs and Refutations Books now! Available in PDF, ePub and Kindle....

AFIPS Conference Proceedings

AFIPS Conference Proceedings
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 1972
  • Total pages : 212
  • ISBN : 0081011709
GET BOOK

Summary : Download or read online AFIPS Conference Proceedings written by , published by which was released on 1972. Get AFIPS Conference Proceedings Books now! Available in PDF, ePub and Kindle....

Conference Record of the Thirty Fifth Asilomar Conference on Signals Systems Computers

Conference Record of the Thirty Fifth Asilomar Conference on Signals  Systems   Computers
  • Author : Asilomar Conference on Signals, Systems & Computers
  • Publisher : Unknown
  • Release Date : 2001
  • Total pages : 1767
  • ISBN : 0081011709
GET BOOK

Summary : Download or read online Conference Record of the Thirty Fifth Asilomar Conference on Signals Systems Computers written by Asilomar Conference on Signals, Systems & Computers, published by which was released on 2001. Get Conference Record of the Thirty Fifth Asilomar Conference on Signals Systems Computers Books now! Available in PDF, ePub and ...

A First Course in Formal Logic and Its Applications in Computer Science

A First Course in Formal Logic and Its Applications in Computer Science
  • Author : Roy Dowsing,V. J. Rayward-Smith,C. D. Walter
  • Publisher : Alfred Waller Limited
  • Release Date : 1986
  • Total pages : 265
  • ISBN : 0081011709
GET BOOK

Summary : Download or read online A First Course in Formal Logic and Its Applications in Computer Science written by Roy Dowsing,V. J. Rayward-Smith,C. D. Walter, published by Alfred Waller Limited which was released on 1986. Get A First Course in Formal Logic and Its Applications in Computer Science Books now! ...