Adapting Proofs As Programs
Download Adapting Proofs As Programs PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Adapting Proofs As Programs book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Adapting Proofs-as-Programs
Author: Iman Poernomo
language: en
Publisher: Springer Science & Business Media
Release Date: 2007-04-27
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.
Logic-Based Program Synthesis and Transformation
Author: Andy King
language: en
Publisher: Springer Science & Business Media
Release Date: 2008-03-18
This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, held in Kongens Lyngby, Denmark, August 23-24, 2007 colocated with SAS 2007. The 13 revised full papers presented together with one invited talk were carefully selected and revised from 30 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program termination, program transformation, constraint solving and analysis as well as software engineering.