Adapting Proofs-as-Programs
Download or Read eBook Adapting Proofs-as-Programs PDF written by Iman Poernomo and published by Springer Science & Business Media. This book was released on 2007-04-27 with total page 417 pages. Available in PDF, EPUB and Kindle.
| Author | : Iman Poernomo |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 417 |
| Release | : 2007-04-27 |
| ISBN-10 | : 9780387281834 |
| ISBN-13 | : 0387281835 |
| Rating | : 4/5 (34 Downloads) |
Book Synopsis Adapting Proofs-as-Programs by : Iman Poernomo
Book excerpt: This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.
