References:
Mooers, C. N. and Deutsch, L. P., (1965) Mooers, C. N. and Deutsch, L. P., "TRAC, a Text Handling Language" pp229-46
E A
Abstract
in [ACM] (1965) [ACM] Proceedings of the 1965 20th National Conference 1965 , Cleveland, Ohio, United States E
Deutsch, P., and Lampson, B. (1968) Deutsch, P., and Lampson, B. QSPL reference manual. U. of California, Berkeley, 1968. E A
in [ACM] (1965) [ACM] Proceedings of the 1965 20th National Conference 1965 , Cleveland, Ohio, United States E
Ausiello, G.; Boehm, C.; Deutsch, P.; Miola, A.; L (1969) Ausiello, G.; Boehm, C.; Deutsch, P.; Miola, A.; Lopez, H.M.: Manuale per il Sistema ROMALISP, Istituto per le Applicazioni del Calcolo (IAC), Serie III, No. 19, Roma, 1969 E A
in [ACM] (1965) [ACM] Proceedings of the 1965 20th National Conference 1965 , Cleveland, Ohio, United States E
Deutsch L.P. (1973) Deutsch L.P. An interactive program verifier, Ph.D. thesis, University of California?Berkeley, 1973 E A
in [ACM] (1965) [ACM] Proceedings of the 1965 20th National Conference 1965 , Cleveland, Ohio, United States E
Deutsch L. (1973) Deutsch L. P. An interactive program verifier, Xerox Palo Alto Research Center Report CSL-73-1, May 1973. E A
Extract:
Input Language
Extract:
Representation and Simplification
in [ACM] (1965) [ACM] Proceedings of the 1965 20th National Conference 1965 , Cleveland, Ohio, United States E
Deutsch, L. Peter. (1973) Deutsch, L. Peter. "A LISP machine with very compact programs" E A
in [Proceedings] (1973) Proceedings of the Third International Joint Conference on Artificial Intelligence IJCAI-73, Stanford, CA: Stanford University 1973 E
Deutsch, P.: Inside InterLISP: Two Implementations (1978) Deutsch, P.: Inside InterLISP: Two Implementations, Xerox PARC, Palo Alto, California, Nov. 26, 1978 E A
in [Proceedings] (1973) Proceedings of the Third International Joint Conference on Artificial Intelligence IJCAI-73, Stanford, CA: Stanford University 1973 E
Deutsch, L. Peter (1980) Deutsch, L. Peter "ByteLisp and its Alto implementation" E A
Abstract
in [ACM] (1980) [ACM] Proceedings of the 1980 ACM Conference on LISP and functional programming 1980, Stanford University E
Deutsch, Peter (1987) Deutsch, Peter "Smalltalk standardization efforts" pp67-68 E A
in [OOPSLA 1997] (1988) SIGPLAN Notices 23(05) May 1988 ('OOPSLA '87: Addendum to the proceedings) E
|
