Bernd Fischer, Jon Whittle  Home/Search
Context Related
| nasa.gov/jonathw/synthreuse.ps.gz riacs.edu/research/det...fischer1.ps.gz 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/jonathw/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of correct programs. In this paper, we describe an integration of both methods which combines their complementary benefits and alleviates some of their drawbacks. The core of our integration is an algorithm which automatically extracts queries from the synthesis proof state and submits them to a specialized retrieval... (Update)
Context of citations to this paper: More
...by deriving rewrite rules from previously synthesised programs, and using these during the synthesis of new programs. As pointed out in [5], however, exact matches between speci cations and speci cations of stored program fragments are rare, and a specialised matching system...
...by deriving rewrite rules from previously synthesed programs, and using these during the synthesis of new programs. As pointed out in [FW99] however, exact matches between speci cations and speci cations of stored program fragments are rare, and a specialised matching system...
Cited by: More
A Unified View of Program Schemas and Proof Methods - Flener, Richardson (Correct)
Component Verification and Certification in NASA Missions - Giannakopoulou, Penix (Correct)
Logic Program Synthesis in a Higher-Order Setting - Lacey, Richardson, Smaill (Correct)
Active bibliography (related documents): More All
0.6: Efficient Specification-Based Component Retrieval - Penix, Alexander (1996) (Correct)
0.3: Specification-Based Browsing of Software Component Libraries - Fischer (1999) (Correct)
0.3: Matrix-based Constructive Theorem Proving - Kreitz, Otten, Schmitt, Pientka (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.5: Towards Certifying Domain-Specific Properties of Synthesized.. - Rosu, Whittle (2002) (Correct)
0.4: Improving Functional Programming Environments - Jon Whittle Recom (1999) (Correct)
0.3: Using Decision Procedures to Accelerate Domain-Specific.. - Van Baalen, Roach (1999) (Correct)
Related documents from co-citation: More All
3: Middle-out reasoning for logic program synthesis - Kraan, Basin et al. - 1993
3: Rippling:a heuristic for guiding inductive proofs - Bundy, Stevens et al. - 1993
2: Logic program synthesis from incomplete specications (context) - Flener, Deville - 1993
BibTeX entry: (Update)
Bernd Fischer and Jon Whittle. An integration of deductive retrieval into deductive synthesis. In Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE'99), pages 52-61, Cocoa Beach, Florida, USA, October 1999. http://citeseer.ist.psu.edu/fischer99integration.html More
@inproceedings{ fischer99integration,
author = "Bernd Fischer and Jon Whittle",
title = "An Integration of Deductive Retrieval into Deductive Synthesis",
booktitle = "Automated Software Engineering",
pages = "52-",
year = "1999",
url = "citeseer.ist.psu.edu/fischer99integration.html" }
Citations (may not include all citations):294 Isabelle: A Generic Theorem Prover (context) - Paulson - 1994
213 An Introduction to Software Architecture (context) - Garlan, Shaw - 1992
204 KIDS: A semi-automatic program development system - Smith - 1990
94 A deductive approach to program synthesis (context) - Manna, Waldinger - 1980
61 Deductive composition of astronomical software from subrouti.. - Stickel, Waldinger et al. - 1994
56 The formulas-as-types notion of construction (context) - Howard - 1980
46 Fundamentals of deductive program synthesis - Manna, Waldinger - 1992
42 The top-down synthesis of divide and conquer algorithms (context) - Smith - 1985
36 Constructing specification morphisms - Smith - 1993
27 The Deductive Foundations of Computer Programming (context) - Manna, Waldinger - 1993
17 Specification-based browsing of software component libraries - Fischer - 1998
17 A survey of software reuse libraries (context) - Mili, Mili et al. - 1998
14 Completely non-clausal theorem proving (context) - Murray - 1982
13 Automatic synthesis of recursive programs: The proof-plannin.. - Armando, Smaill et al.
12 Isomorphisms of Types: from -calculus to information retriev.. (context) - DiCosmo - 1995
9 Generic system support for deductive program development - Ayari, Basin - 1996
5 SPASS---version 0.49 (context) - Weidenbach - 1997
5 NORA/HAMMR: Making deduction-based software component retrie.. - Schumann, Fischer
4 Efficient specification-based component retrieval - Penix, Alexander - 1999
3 A higher-order interpretation of deductive tableau - Ayari, Basin - 1999
3 Program synthesis (context) - Kreitz - 1998
2 Automated Component Retrieval and Adaptation Using Formal Sp.. - Penix - 1998
1 Lake Tahoe (context) - Lowry, Ledru et al. - 1997
Documents on the same site (http://ase.arc.nasa.gov/jonathw/publications.html): More
System Description CyNTHIA - Whittle, Bundy, Boulton, Lowe (Correct)
An ML Editor Based on Proofs-as-Programs - Whittle, Bundy, Boulton, Lowe (1999) (Correct)
Generating Statechart Designs From Scenarios - Whittle, Schumann (2000) (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