|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
 |
2
|
|
 |
3
|
|
 |
4
|
|
| |
5
|
|
 |
6
|
|
| |
7
|
FRIEDMAN, D.P., AND WISE, D.S. CONS should not evaluate its arguments. In Automata, Languages, and Programming, S. Michaelson and R. Milner, Eds., Edinburgh Univ. Press, Edinburgh, 1976, pp. 257-284.
|
| |
8
|
|
 |
9
|
|
 |
10
|
|
| |
11
|
GRISWOLD R.E. The SL5 programming language and its use for goal-directed programming. In Proe. 5th Texas Conf. on Computer Systems, Univ. Texas, Austin, Oct. 1976.
|
 |
12
|
|
| |
13
|
GRISWOLD R.E., AND HANSON, D.R. Reference manual for the Icon programming language. Tech. Rep. TR 79-1a, Dep. Computer Science, Univ. Arizona, Tucson, Feb. 1980.
|
 |
14
|
|
 |
15
|
|
| |
16
|
|
 |
17
|
|
| |
18
|
|
 |
19
|
|
 |
20
|
|
| |
21
|
HANSON, D.R., AND HANSEN, W.J. Icon implementation notes. Tech. Rep. TR79-12a, Dep. Computer Science, Univ. Arizona, Feb. 1980.
|
 |
22
|
|
| |
23
|
H~,WlTT, C. PLANNER: A language for manipulating models and proving theorems in a robot. In Proc. 2d Int'l Joint Conf. on Artificial Intelligence, London, 1971, pp. 167-182.
|
| |
24
|
KAHN, G., AND McQUEEN, D.B. Coroutines and networks of parallel processes. In Proc. IFIPS 77, 1977, pp. 993-998.
|
 |
25
|
|
| |
26
|
|
 |
27
|
|
 |
28
|
|
| |
29
|
|
| |
30
|
McDERMOTT, D.V., AND SUSSMAN, G.J. The CONNIVER reference manual. AI Lab. Memo 259, MIT, Cambridge, Mass., 1972.
|
| |
31
|
NEWELL, A. (ED.) Information Processing Language- V Manual, Rand Corp., Prentice-Hall, Englewood Cliffs, N.J., 1961.
|
 |
32
|
|
| |
33
|
|
 |
34
|
|
 |
35
|
|
| |
36
|
SMITH, D.C., AND ENEA, H.J. Backtracking in MLISP2. In Proc. 3d Int'l Joint Conf. on AI, Stanford, Calif., 1973, pp. 677-685.
|
| |
37
|
SUSSMAN, G.J., AND MCDERMOTT, D.V. From PLANNER to CONNIVER--A genetic approach. In Proc. AFIPS 1972 Fall Joint Computer Conf., vol. 41, AFIPS Press, Arlington, Va., 1972, pp. 1171-1179.
|
| |
38
|
VAN WIJNGAARDEN, A., MAILLOUX, B.J., PECK, J.E.L., KOST}~R, C.H.A., SINTZOFF, M., LINDSEY, C.H., MEERTENS, L.G.L.T., AND FISKER, R.G. (Eds.). Revised report on the algorithmic language Algol 68. Acta Inf. 5 (Jan. 1976), 1-236.
|
 |
39
|
|
| |
40
|
|
| |
41
|
WroTH, N. Algorithms + Data Structures = Programs. Prentice-Hall, Englewood Cliffs, N.J., 1976.
|
| |
42
|
WroTH, N. The programming language Pascal. Acta Inf. I (Jan. 1971), 35-63.
|
| |
43
|
WULF, W.A., LONDON, R.L., ANO SHAW, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Softw. Eng. SE-2, 4 (Dec. 1976), 253-265.
|
CITED BY 16
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Robert F. Gordon , George B. Leeman, Jr. , Clayton H. Lewis, Concepts and implications of undo for interactive recovery, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.150-157, October 1985, Denver, Colorado, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nola Donato , Robert Rocchetti , Janet Tom, A prototyping environment for real-time graphics, Proceedings of the July 9-12, 1984, national computer conference and exposition, July 09-12, 1984, Las Vegas, Nevada
|
|
|
|
|
|
|
|