Pierre Flener, Julian Richardson  Home/Search
Context
Related
| nasa.gov/people/julianr...schemaPlan.ps 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: nasa.gov/people/ju...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Both proof planning and schema-guided program synthesis can be seen as a recursive problem decomposition process followed by a recursive solution composition process, with problems being either conjectures or specifications, and solutions being either tactics or programs. We thus develop a unified view of these two activities. This approach reveals an opportunity for identifying and integrating useful heuristics of when and how to apply what program schema, which dimension had hitherto... (Update)
Similar documents (at the sentence level):
10.2%: A Unified View of Programming Schemas and Proof Methods - Flener, Richardson (1999) (Correct)
Active bibliography (related documents): More All
0.6: Towards Schema-Guided Compilation of Set Constraint Programs - Flener, Hnich, Kiziltan (1999) (Correct)
0.5: Achieving Quality in Natural Language Requirements - Fabbrini, Fusani, Gervasi.. (1998) (Correct)
0.4: Schema-Guided Synthesis of Constraint Logic Programs - Kiziltan (1999) (Correct)
Similar documents based on text: More All
0.3: An Abstract Formulation of Correct Schemas for Program Synthesis - Flener, al. (1999) (Correct)
0.2: On Correct Program Schemas - Flener, Lau, Ornaghi (1997) (Correct)
0.2: Schema-Based Logic Program Transformation - Büyükyildiz (1997) (Correct)
BibTeX entry: (Update)
@misc{ flener-unified,
author = "Pierre Flener and Julian Richardson",
title = "A Unified View of Program Schemas and Proof Methods",
url = "citeseer.ist.psu.edu/677364.html" }
Citations (may not include all citations):204 KIDS: A semiautomatic program development system - Smith - 1990
168 Rippling: A heuristic for guiding inductive proofs - Bundy, Stevens et al. - 1993
157 Edinburgh LCF -- A Mechanised Logic of Computation (context) - Gordon, Milner et al. - 1979
97 Experiments with proof plans for induction - Bundy, van Harmelen et al. - 1991
87 OysterClam system (context) - Horn, Oyster et al. - 1990
79 Logic Programming: Systematic Program Development (context) - Deville - 1990
55 A science of reasoning - Bundy - 1991
45 SPECWARE: Formal support for composing software - Srinivas, Jullig - 1995
42 Top-down synthesis of divide-and-conquer algorithms (context) - Smith - 1985
38 Knowledge-based proof planning (context) - Melis, Siekmann - 1999
35 Steadfast logic programs - Lau, Ornaghi et al. - 1999
34 The execution algorithm of Mercury: An efficient purely decl.. - Somogyi, Henderson et al. - 1996
28 Middle-out reasoning for logic program synthesis - Kraan, Basin et al. - 1993
27 Compiling constraints in clp (context) - Codognet, Diaz - 1996
24 On specification frameworks and deductive synthesis of logic.. - Lau, Ornaghi
22 Deduction-based software component retrieval - Fischer, Schumann et al. - 1998
20 XBarnacle: Making theorem provers more accessible - Lowe, Duncan - 1997
18 On correct program schemas - Flener, Lau et al. - 1998
17 An opportunistic approach for logic program analysis and opt.. - Vasconcelos, Fuchs - 1996
17 Omega mega: Towards a mathematical assistant (context) - Benzmuller - 1997
16 Proving and applying program transformations expressed with .. (context) - Huet, Lang - 1978
16 Toward a classification approach to design - Smith - 1996
15 Cost analysis of logic programs - Debray, Lin - 1993
13 Automatic synthesis of recursive programs: The proof-plannin.. - Armando, Smaill et al. - 1999
13 Development of correct transformation schemata for Prolog pr.. - Richardson, Fuchs - 1998
12 Correct-schema-guided synthesis of steadfast programs - Flener, Lau et al. - 1997
11 PLANWARE: Domain-specific synthesis of high-performance sche.. - Blaine - 1998
11 Schema-guided synthesis of constraint logic programs - Flener, Zidoum et al. - 1998
11 The relationship between logic programs and specifications: .. - Lau, Ornaghi - 1997
9 Relational rippling: A general approach - Bundy, Lombart - 1995
9 FOLON: An environment for declarative construction of logic .. (context) - Henrard, Le Charlier
8 An abstract formalisation of correct schemas for program syn.. (context) - Flener, Lau et al. - 2000
5 Increasing the versatility of heuristic based theorem prover.. (context) - Manning, Ireland et al. - 1993
5 Towards automatic imperative program synthesis through proof.. (context) - Stark, Ireland - 1999
4 Proof planning in higher-order logic with Clam (context) - Richardson, Smaill et al. - 1998
4 Generalised logic program transformation schemas (context) - Buyukyldz, Flener - 1998
4 An integration of deductive retrieval into deductive synthes.. - Fischer, Whittle - 1999
3 An ML editor based on proofs-asprograms - Whittle, Bundy et al. - 1999
3 Using middle-out reasoning to control the synthesis of tail-.. - Hesketh, Bundy et al. - 1992
3 Proof planning with program schemas (context) - Richardson - 1999
3 Algebraic specification and program development by stepwise .. - Sannella - 1999
2 Specifications are necessarily informal (context) - Le Charlier, Flener - 1998
2 Automating inductive specification proofs in NuPRL - Pientka, Kreitz
1 OOD frameworks in CBD in computational logic (context) - Lau, Ornaghi - 1999
1 Island planning and refinement - Melis - 1996
1 LOmega UI LovelyOmega mega user interface (context) - UI, mega et al. - 1999
1 Specification-based automatic verification of Prolog program.. (context) - Le Charlier, Rossi et al. - 1997
1 Logic program synthesis via proof planning in Clam (context) - Lacey - 1999
Documents on the same site (http://ase.arc.nasa.gov/people/julianr/www/publications.html): More
Proofs About Lists Using Ellipsis - Alan Bundy And (1999) (Correct)
Automating Changes of Data Type in Functional Programs - Richardson (1995) (Correct)
An Adversarial Planning Approach to Go - Willmott, Richardson, Bundy, Levine (1998) (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