Adapting Proofs-as-Programs PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Adapting Proofs-as-Programs PDF full book. Access full book title Adapting Proofs-as-Programs by Iman Poernomo. Download full books in PDF and EPUB format.

Adapting Proofs-as-Programs

Adapting Proofs-as-Programs PDF Author: Iman Poernomo
Publisher: Springer Science & Business Media
ISBN: 0387281835
Category : Computers
Languages : en
Pages : 417

Get Book Here

Book Description
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.