Deriving Programs that Develop Programs
作者： Christoph Kreitz
DOI:
关键词:
摘要:
参考文章(168)
Susumu Hayashi, PX: a system extracting programs from proofs. Formal Description of Programming Concepts. pp. 399- 424 ,(1987)
Douglas R. Smith, Thomas T. Pressburger, Knowledge-Based Software Development Tools Defense Technical Information Center. ,(1993) , 10.21236/ADA265218
Nachum Dershowitz, Synthesis by completion international joint conference on artificial intelligence. pp. 208- 214 ,(1985)
Luca Spalazzi, Alessandro Cimatti, Paolo Traverso, Beyond the single planning paradigm: introspective planning european conference on artificial intelligence. pp. 643- 647 ,(1992)
W. Bibel, On strategies for the synthesis of algorithms AISB/GI'78 Proceedings of the 1978 AISB/GI Conference on Artificial Intelligence. pp. 22- 27 ,(1978)
Dines Bjørner, Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial) TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages. pp. 1- 35 ,(1989) , 10.1007/3-540-50940-2_25
D. Bjørner, Cliff B. Jones, Derek Andrews, Formal specification and software development Prentice Hall International Series in Computer Science. ,(1982)
Bertram Fronhöfer, Ulrich Furbach, Knuth-Bendix Completion Versus Fold/Unfold: A Comparative Study in Program Synthesis GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung. pp. 289- 300 ,(1986) , 10.1007/978-3-642-71385-9_29
Sharon Sickel, Keith L. Clark, Predicate Logic: A Calculus for the Formal Derivation of Programs. international joint conference on artificial intelligence. pp. 419- 420 ,(1977)
D. M. Steier, A. P. Anderson, Algorithm Synthesis: A Comparative Study ,(1989)