Julian Richardson  Home/Search
Context
Related
| cs.man.ac.uk/pub/T...1richardson.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cee.hw.ac.uk/~juli...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Recently, schema-based program transformation and synthesis techniques have received a lot of attention, especially at LOPSTR. It seems that schema-based techniques often fall into one of two categories: either they are pragmatic, designed for carrying out real program transformation or synthesis operations, but lacking the logical basis that they need to ensure that they really do synthesise/transform programs correctly, or they are rigorous, with strong theoretical foundations, but... (Update)
Active bibliography (related documents): More All
0.4: A Unified View of Program Schemas and Proof Methods - Flener, Richardson (Correct)
0.3: A Unified View of Programming Schemas and Proof Methods - Flener, Richardson (1999) (Correct)
0.3: The Role of Proof in a Formal Specification of the Speedway.. - Lowe, Lowe (1999) (Correct)
Similar documents based on text: More All
0.5: Proof Planning and Program Synthesis: a Survey - Richardson (2002) (Correct)
0.5: A Semantics for Proof Plans with Applications to Interactive.. - Richardson (2002) (Correct)
0.1: Development of Correct Transformation - Schemata For Prolog (Correct)
BibTeX entry: (Update)
@misc{ richardson-proof,
author = "Julian Richardson",
title = "Proof Planning with Schema Frameworks",
url = "citeseer.ist.psu.edu/richardson98proof.html" }
Citations (may not include all citations):75 Productive use of failure in inductive proof - Ireland, Bundy - 1996
55 A science of reasoning - Bundy - 1991
42 The top-down synthesis of divide and conquer algorithms (context) - Smith - 1985
38 System description: Proof planning in higher-order logic wit.. - Richardson, Smaill et al. - 1998
18 Proof Planning for Logic Program Synthesis (context) - Kraan - 1994
17 Synthesis and transformation of logic programs in the Whelk .. (context) - Wiggins - 1992
13 Automatic synthesis of recursive programs: The proof-plannin.. - Armando, Smaill et al. - 1997
12 Correct-schema-guided synthesis of steadfast programs - Flener, Lau et al. - 1997
6 The use of proof plans for normalization - Bundy - 1991
5 Increasing the versatility of heuristic based theorem prover.. (context) - Manning, Ireland et al. - 1993
3 The use of theorem provers in the teaching and practice of f.. - Lowe - 1997
Documents on the same site (http://www.cee.hw.ac.uk/~julianr/publications.html): More
Applying Adversarial Planning Techniques to Go - Willmott, Richardson, Bundy.. (1999) (Correct)
Proofs About Lists Using Ellipsis - Bundy, Richardson (1999) (Correct)
Development of Correct Transformation Schemata for Prolog Programs - Norbert (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC