Among the several misunderstandings about Program Synthesis (PS), we particularly examine the one relative to Logic Programming alleged to have solve this problem. Even though theoretical reasons are well-known, we provide a detailed analysis of the practical reasons why a formal specification may be hard to program in PROLOG. All that contributes to the clarification of the exact role of PS in AI and in Software Engineering, and its possible application to software certification.
CITATION STYLE
Kodratoff, Y., Franova, M., & Partridge, D. (1989). Why and how program synthesis? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 397 LNAI, pp. 45–59). Springer Verlag. https://doi.org/10.1007/3-540-51734-0_51
Mendeley helps you to discover research relevant for your work.