Achievements and Prospects of Program Synthesis
作者： Pierre Flener
关键词: Software engineering 、 Program synthesis 、 Proof obligation 、 Constraint satisfaction problem 、 Computational logic 、 Computer science 、 Computational science 、 Software 、 Specifier 、 Program transformation 、 Domain theory
摘要: Program synthesis research aims at developing a program that develops correct programs from specifications, with as much or little interaction the specifier wants. I overview main achievements in deploying logic for synthesis. also outline prospects of such research, arguing that, while technology scales up toy to real-life software and commercially viable tools, computational will continue be driving force behind this progress.
springer.com
sci-hub.st 参考文章(90)
Jonathan P. Seldin, J. Roger Hindley, Haskell B. Curry, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism Academic Press. ,(1980)
Cliff Jones, Formal development of programs Newcastle University. ,(1973)
Geraint A. Wiggins, Synthesis and Transformation of Logic Programs in the Whelk Proof Development System JICSLP. pp. 351- 365 ,(1992)
Steven David Prestwich, Kung-Kiu Lau, Synthesis of a Family of Recursive Sorting Procedures. ISLP. pp. 641- 658 ,(1991)
D. M. Steier, A. P. Anderson, Algorithm Synthesis: A Comparative Study ,(1989)
Joseph A. Goguen, Grant Malcolm, Algebraic Semantics of Imperative Programs ,(1996)
Michael J. Beeson, Foundations of Constructive Mathematics Springer Berlin Heidelberg. ,(1985) , 10.1007/978-3-642-68952-9
Helmut A. Partsch, Specification and transformation of programs ,(1990)
Richard J. Waldinger, Richard C. T. Lee, PROW: a step toward automatic program writing international joint conference on artificial intelligence. pp. 241- 252 ,(1969)
Cordell Green, Stephen Westfold, Knowledge-based programming self applied Morgan Kaufmann Publishers Inc.. pp. 245- 247 ,(1986) , 10.1016/B978-0-934613-12-5.50025-2