-
1
-
-
0003242960
-
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
-
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
-
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
-
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
-
5
-
-
84939714714
-
Autoprogrammer
-
ten minute silent movie, Feb.
-
A. W. Biermann, R. I. Baum, R. Krishnaswamy, and F. E. Petry, “Autoprogrammer,” ten minute silent movie, Feb. 1974.
-
(1974)
-
-
Biermann, A.W.1
Baum, R.I.2
Krishnaswamy, R.3
Petry, F.E.4
-
6
-
-
84939708217
-
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
-
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
-
8
-
-
84875935567
-
Progress report on program understanding systems
-
Memo AIM-240, Stanford Artificial Intelligence Lab., Stanford, CA, Aug.
-
C. C. Green, R. J. Waldinger, D. R. Barstow, R. Elschlager, D. B. Lenat, B. P. McCune, D. E. Shaw, and L. I. Steinberg, “Progress report on program understanding systems,” Memo AIM-240, Stanford Artificial Intelligence Lab., Stanford, CA, Aug. 1974.
-
(1974)
-
-
Green, C.C.1
Waldinger, R.J.2
Barstow, D.R.3
Elschlager, R.4
Lenat, D.B.5
McCune, B.P.6
Shaw, D.E.7
Steinberg, L.I.8
-
9
-
-
49949150022
-
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
-
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
-
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
-
13
-
-
0014643348
-
PROW: A step toward automatic program writing
-
Washington, DC, May 7-9
-
R. J. Waldinger and R. C. T. Lee, “PROW: A step toward automatic program writing,” in Proc. Int. Joint Conf. Artificial Intelligence, Washington, DC, May 7-9, 1969, pp. 241-252.
-
(1969)
Proc. Int. Joint Conf. Artificial Intelligence
, pp. 241-252
-
-
Waldinger, R.J.1
Lee, R.C.T.2
|