|
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
|
BRINCH HANSEN, P. "The Solo operating system," Soflw. Praet Exper. 6, 2 (1976), 141- 206.
|
| |
2
|
WroTH, N. "The programming language PASCAL," Acta Inf. 1, (1971), 25-68.
|
| |
3
|
Introductmn to MUMPS-11 Language, DEC- ll-MMLTA-C-D, Digital Equipment Corp., Maynard, Mass., 1976.
|
| |
4
|
T~rr~LM.~, W. INTERLISP reference manual, Xerox-Palo Alto Research Center, Palo Alto, Calif., 1974.
|
| |
5
|
WINOGRAD, T. "Breaking the complexity barrier," unpubhshed memo, Stanford Artificial Intelhgence Laboratory, Stanford, Cahf., 1974.
|
| |
6
|
|
| |
7
|
NORDSTROM, M. et al. LISP Fl-a Fortran ~mplementatzon of LISP 1.5, Computer Sciences Dept., Uppsala Umv., Sweden, 1970.
|
| |
8
|
ASH, W. et al. Intelligent on-line assistant and tutor system, BBN Report No. 3607, Bolt, Beranek, and Newman, Inc., Cambridge, Mass., 1977.
|
| |
9
|
W~ms~a~, C. LISP 1.5 przmer, Dlckenson Publishing Co., Belmont, Calif., 1967.
|
| |
10
|
HARALDSON, A. LISP-detads, Computer Scmnces Dept., Uppsala Umv., Sweden, 1975.
|
| |
11
|
|
| |
12
|
|
| |
13
|
TEITELMAN, W. "A display oriented programmer's assistant," m Proc. F~flh Int. Jt Conf. Artificial Intelhgence, Dept. Computer Science, Carnegie Mellon Univ., Pittsburgh, 1977, pp. 905-915.
|
| |
14
|
HENNEMAN, W. "An auxdlary language for more natural expressmn," in The programm~ng language LISP, zts operatmn and applicatmns, E.C. Berkely and D.G. Bobrow (Eds.), MIT Press, Cambridge, Mass., 1964.
|
| |
15
|
SMrrH, CAN~ELD D. MLISP, Stanford Artificial Intelligence Laboratory, Stanford, Calif., 1970.
|
| |
16
|
HEARN, A. REDUCE user's manual, Memo 50, Stanford Arhficial Intelhgence Laboratory, Stanford, Calif., 1968.
|
| |
17
|
WEGBREIT, B. et al ECL programmer's manual, Harvard Univ., Cambridge, Mass., 1972.
|
| |
18
|
THOLERUS, T. REC-a recurswe programmtng language w~th visible control stack, Computer Sciences Dept., Uppsala Univ., Sweden, 1975.
|
 |
19
|
|
| |
20
|
S~NDEWALL, E. "Ideas about management of LISP data bases," in Proc. Fourth Int Jt Conf Artifictal intelligence, Artlficlal Intelhgence Laboratory, Cambridge, Mass., 1975, pp. 585- 592.
|
| |
21
|
SANDEWALL, E "Some observations on conceptual programming," in Machine ~ntelhgence 8, E.W. Elcock and D Mlchle (Eds), John Wiley & Sons, N Y, 1977, pp 223-265.
|
| |
22
|
HEWITT, C. Planner: A language for mantpulattng models and prowng theorems ~n a robot, Arhficlal Intelhgence Memo 168, MIT, Cambmdge, Mass, 1970
|
| |
23
|
RULIFSON, J. F. et al QA4, a procedural calculus for ~ntu~twe reasoning, Stanford Research Inst., Menlo Park, Cahf., 1972.
|
| |
24
|
MCDERMOTT, V. et al The Connwer reference manual, Arhficlal Intelhgence Memo 259, MIT, Cambmdge, Mass, 1972
|
| |
25
|
SAC~RDOTI, E. et al. QLISP: A language for the tnteractwe development of complex systems, Stanford Research Inst., Menlo Park, Cahf, 1976
|
| |
26
|
DAVIES, D. et al. Popler 1 5 reference manual, Umv. of Edinburgh, Edinburgh, Scotland, 1973
|
| |
27
|
SANDEWALL, E. LISP A. "A LISP-like system for incremental computing," in Proc. AF- IPS 1968 Sprtng Jt Computer Conf., Vol. 32, Thompson Book Co., Washington, D.C., pp. 375-384.
|
| |
28
|
BOBROW D ; AND RAPHAEL, B New programm~ng languages for A. i research, Stanford Research Inst, Menlo Park, Cahf, 1973
|
| |
29
|
WINOGRAD, T. "Procedures as a representation for data in a computer program for understanding natural language," PhD Thesis, MIT, Cambridge, Mass, 1971
|
 |
30
|
|
| |
31
|
DAHL, O.-J.; AND HOARE, C. A. R. "Hierarchical program structures," in Structured programmtng, O.-J. Dahl, E.W Dijkstra and C.A.R. Hoare, Academic Press Inc., N.Y, 1972
|
| |
32
|
|
| |
33
|
NORDSTROM, M.; AND THOLERUS, T. A pars- ~ng technique apphed to the programmtng language REDUCE, Computer Sciences Dept., Uppsala Univ., Sweden, 1974.
|
 |
34
|
|
| |
35
|
KNUTH, D. "Semantics of context-free languages," Math Syst. Theory J. (1968), 127- 145.
|
| |
36
|
NORDSTROM, M "A method for defining formal semantics of programming languages apphed to Simula," Dlssertahon, Uppsala Umv., Sweden, 1976
|
| |
37
|
HOARE, C. A. R. Recursive data structures, STAN-CS-73-400, Computer Scmnce Dept., Stanford Univ., Stanford Calif., 1973.
|
 |
38
|
|
| |
39
|
GIBBONS, G. Letter in ACM Forum, Commun ACM 19, 2 (1976), 105-106
|
| |
40
|
SHORTLIFFE, D.A. "An artlficml mtelhgence program to advise physicians regarding antlmicrobml therapy," Comput. Bmmed Res 6 (1973), 544-560
|
| |
41
|
AIELLO, L et al. "Recurslve data types in LISP. A case study in type driven programmmg," in Proc. 2nd Int Syrup Programming, Instltut de Programmation, Paris, 1976
|
| |
42
|
WINOGRAD, T. Fwe lectures on art~ficml ~ntell~gence. STAN-CS-459, Computer Science Dept, Stanford Umv, Stanford Cahf, 1974.
|
| |
43
|
Personal commumcatmn
|
| |
44
|
TEITELMAN, W. "Toward a programming laboratory," m Proc. F~rst Int Jt Conf Artsficial lntelhgence, 1969.
|
CITED BY 69
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Guy Lapalme , Jean-Marc Rousseau , Suzanne Chapleau , Michel Cormier , Pierre Cossette , Serge Roy, Georoute: a geographic information system for transportation applications, Communications of the ACM, v.35 n.1, p.80-88, Jan. 1992
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Erik Sandewall , Claes Strömberg , Henrik Sörensen, Software architecture based on communicating residential environments, Proceedings of the 5th international conference on Software engineering, p.144-152, March 09-12, 1981, San Diego, California, United States
|
|
|
Raymond L. Bates , David Dyer , Johannes A. G. M. Koomen, Implementation of Interlisp on the VAX, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.81-87, August 15-18, 1982, Pittsburgh, Pennsylvania, United States
|
|
|
|
|
|
Harvey Abramson , Mark Fox , Michael Gorlick , Vince Manis , John Peck, The Pica-B Computer An Abstract Target Machine For A Transportable Single-User Operating Environment, Proceedings of the 1978 annual conference, p.301-309, December 04-06, 1978, Washington, D.C., United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Erik Sandewall , Sture Hägglund , Christian Gustafsson , Lennat Jonesjö , Ola Strömfors, Stepwise structuring: a style of life for flexible software, Proceedings of the May 16-19, 1983, national computer conference, May 16-19, 1983, Anaheim, California
|
|
|
|
|