B. Fischer and J. Whittle. An integration of deductive retrieval into deductive synthesis. In Proc. of ASE'99, pp. 52--61. IEEE Computer Society, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Component Verification and Certification in NASA Missions - Giannakopoulou, Penix (Correct)
.... applications, we are integrating component based application generation technology into a middleware infrastructure [14] The infrastructure will contain an intelligent component integration system (iCIS) that automates component retrieval, adaptation, and integration using automated reasoning [15 17]. The system will support transparent location and retrieval of data from archives as well as location, retrieval and execution of data analysis and visualization components in a heterogeneous and distributed environment. Component interface specifications and data archive meta data will be used ....
Fischer, B. and Whittle, J. "An Integration of Deductive Retrieval into Deductive Synthesis", in Proc. of the 14th International Automated Software Engineering Conference. October 1999, Cocoa Beach, Florida.
Logic Program Synthesis in a Higher-Order Setting - Lacey, Richardson, Smaill (2 citations) (Correct)
....and synthesised programs are not reused. This is clearly a limitation, which we would like to address in the future. One form of program reuse can be achieved 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 is required. 6.3 Summary We have provided a higher order formulation of logic program synthesis that subsumes earlier work in the area. To implement this work ....
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.
Logic Program Synthesis in a Higher-Order Setting - Lacey, Richardson, Smaill (2000) (2 citations) (Correct)
....and synthesised programs are not reused. This is clearly a limitation, which we would like to address in the future. One form of program reuse can be achieved 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 is required. 6.3 Summary We have provided a higher order formulation of logic program synthesis that subsumes earlier work in the area. To implement this work ....
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.
A Unified View of Program Schemas and Proof Methods - Flener, Richardson (Correct)
No context found.
B. Fischer and J. Whittle. An integration of deductive retrieval into deductive synthesis. In Proc. of ASE'99, pp. 52--61. IEEE Computer Society, 1999.
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