Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

IJCAI
1989

favoriteEmaildiscussreport

99views Artificial Intelligence» more IJCAI 1989»

The Specialization and Transformation of Constructive Existence Proofs

13 years 5 months ago

The Specialization and Transformation of Constructive Existence Proofs

Download dli.iiit.ac.in

The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adapting programs to special situations by transforming constructive synthesis proofs has been reconstructed and is compared with the original implementation [Goad, 1980b, Goad, 1980a]. A brief account of more general proof transformation applications is also presented.

Peter Madden

Real-time Traffic

Constructive Synthesis Proofs | IJCAI 1989 | IJCAI 2007 | Program Synthesis Proofs | Synthesis Proofs |

claim paper

Related Content

» On BetaShifts Having Arithmetical Languages

» Nontrivial tdesigns without repeated blocks exist for all t

» Toward a Compositional Theory of Leftist Grammars and Transformations

» KnowledgeBased Synthesis of Distributed Systems Using Event Structures

» Malleable Proof Systems and Applications

» Simulatable VRFs with Applications to Multitheorem NIZK

» Formal certification of codebased cryptographic proofs

» A Transformation System for Definite Programs Based on Termination Analysis

» Pors proofs of retrievability for large files

Post Info
More Details (n/a)

Added	07 Nov 2010
Updated	07 Nov 2010
Type	Conference
Year	1989
Where	IJCAI
Authors	Peter Madden

Comments (0)