메뉴 건너뛰기




Volumn SE-2, Issue 3, 1976, Pages 141-153

Constructing Programs from Example Computations

Author keywords

Automatic program synthesis; autoprogramming; induction techniques; interactive graphics system; interactive program construction; program inference; programming system

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0016992867     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1976.233812     Document Type: Article
Times cited : (86)

References (13)
  • 1
    • 0003242960 scopus 로고
    • Representations and modelling in problems of program formation
    • in Machine Intelligence, Meltzer and Michie, Ed. New York: American Elsevier
    • S. Amarel, “Representations and modelling in problems of program formation,” in Machine Intelligence, Meltzer and Michie, Ed. New York: American Elsevier, vol. 6, 1971, pp. 441-466.
    • (1971) , vol.6 , pp. 441-466
    • Amarel, S.1
  • 2
    • 34247094423 scopus 로고
    • A global view of automatic programming
    • Stanford, CA, Aug. 20-24
    • R. Balzer, “A global view of automatic programming,” in Proc. 3rd Int. Joint Conf. Artificial Intelligence, Stanford, CA, Aug. 20-24,1973, pp. 494-499.
    • (1973) Proc. 3rd Int. Joint Conf. Artificial Intelligence , pp. 494-499
    • Balzer, R.1
  • 3
    • 33745218437 scopus 로고
    • Approaches to automatic programming
    • in Advances in Computers, Yovits and Rubinoff, Ed. New York: Academic
    • A. W. Biermann, “Approaches to automatic programming,” in Advances in Computers, Yovits and Rubinoff, Ed. New York: Academic, vol. 15, 1976.
    • (1976) , vol.15
    • Biermann, A.W.1
  • 4
    • 0016470289 scopus 로고
    • Speeding up the synthesis of programs from traces
    • Feb.
    • A. W. Biermann, R. I. Baum, and F. E. Petry, “Speeding up the synthesis of programs from traces,” IEEE Trans. Comput., vol. C-24, pp. 122-136, Feb. 1975.
    • (1975) IEEE Trans. Comput. , vol.C-24 , pp. 122-136
    • Biermann, A.W.1    Baum, R.I.2    Petry, F.E.3
  • 6
    • 84939708217 scopus 로고
    • Inductive inference: a recursion theoretic approach
    • Recursion Function Theory Newsletter, July
    • L. Blum and M. Blum, “Inductive inference: a recursion theoretic approach,” Recursion Function Theory Newsletter, no. 6, pp. 15-29, July 1973.
    • (1973) , Issue.6 , pp. 15-29
    • Blum, L.1    Blum, M.2
  • 7
    • 0015316806 scopus 로고
    • Some decidability results on grammatical inference and complexity
    • Apr.
    • J. A. Feldman, “Some decidability results on grammatical inference and complexity,” Inform. Contr., vol. 20, pp. 244-262, Apr. 1972.
    • (1972) Inform. Contr. , vol.20 , pp. 244-262
    • Feldman, J.A.1
  • 9
    • 49949150022 scopus 로고
    • Language identification in the limit
    • M. Gold, “Language identification in the limit,” Inform. Contr., vol. 10, pp. 447-474, 1967.
    • (1967) Inform. Contr. , vol.10 , pp. 447-474
    • Gold, M.1
  • 11
    • 0016049698 scopus 로고
    • An improved program synthesizing algorithm and its correctness
    • Apr.
    • R. C. T. Lee, C. L. Chang, and R. J. Waldinger, “An improved program synthesizing algorithm and its correctness,” Commun. Ass. Comput. Mach., vol. 17, pp. 211-217, Apr. 1974.
    • (1974) Commun. Ass. Comput. Mach. , vol.17 , pp. 211-217
    • Lee, R.C.T.1    Chang, C.L.2    Waldinger, R.J.3
  • 12
    • 0015022289 scopus 로고
    • Toward automatic program synthesis
    • Mar.
    • Z. Manna and R. J. Waldinger, “Toward automatic program synthesis,” Commun. Ass. Comput. Mach., vol. 14, pp. 151-164, Mar. 1971.
    • (1971) Commun. Ass. Comput. Mach. , vol.14 , pp. 151-164
    • Manna, Z.1    Waldinger, R.J.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.