The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory

BOBROW , D. , AND WINOGRAD , T. An overview of KRL , a Knowledge Representation Language. Cognitive Sci. 1 , 1 ( Jan. 1977 ), 3-46. BOBROW, D., AND WINOGRAD, T. An overview of KRL, a Knowledge Representation Language. Cognitive Sci. 1, 1 (Jan. 1977), 3-46.

10.1145/365813.365819

ELCOCK , E.W. , FOSTER , J.M. , GRAY , P.M. D., MCGREGOR , J.J. , AND MURRAY , A.M. ABSET , a programming language based on sets: Motivation and examples . In Machine Intelligence , vol. 6 , B. Meltzer and D. Michie (Eds.). Edinburgh University Press , Edinburgh, Scotland, 1971 , pp. 467 - 492 . ELCOCK, E.W., FOSTER, J.M., GRAY, P.M.D., MCGREGOR, J.J., AND MURRAY, A.M. ABSET, a programming language based on sets: Motivation and examples. In Machine Intelligence, vol. 6, B. Meltzer and D. Michie (Eds.). Edinburgh University Press, Edinburgh, Scotland, 1971, pp. 467-492.

HEWITT , C. Viewing control structures as patterns of passing messages. Artif Intell. 8 , 3 ( June 1977 ), 323-364. HEWITT, C. Viewing control structures as patterns of passing messages. Artif Intell. 8, 3 (June 1977), 323-364.

INGALLS , D.H. H. The Smalltalk-76 programming system : Design and implementation . In Conf. Rec., 5th Ann. ACM Syrnp. Principles of Programming Languages , Tucson, Ariz. , Jan. 23-25, 1978 , pp. 9 - 16 . 10.1145/512760.512762 INGALLS, D.H.H. The Smalltalk-76 programming system: Design and implementation. In Conf. Rec., 5th Ann. ACM Syrnp. Principles of Programming Languages, Tucson, Ariz., Jan. 23-25, 1978, pp. 9-16. 10.1145/512760.512762

KAY , A. , AN n GOLD BERC , A. Personal dynamic media. Computer 10 , 3 ( March 1977 ), 31-42. KAY, A., ANn GOLDBERC, A. Personal dynamic media. Computer 10, 3 (March 1977), 31-42.

LIEBERMAN , H. , A~O HEWITT , C. A session with TINKER: Interleaving program testing with program design . In Proc. 1980 LISP Conf. , Stanford Univ., Stanford, Calif. , Aug. 1980 , pp. 90 - 99 . 10.1145/800087.802794 LIEBERMAN, H., A~O HEWITT, C. A session with TINKER: Interleaving program testing with program design. In Proc. 1980 LISP Conf., Stanford Univ., Stanford, Calif., Aug. 1980, pp. 90-99. 10.1145/800087.802794

10.1145/359763.359789

MITCHELL , J. , MAYBURY , W. , AND SWEET , R. Mesa language manual. Rep. CSL-79-3, Xerox PARC, Palo Alto , Calif. , April 1979 . MITCHELL, J., MAYBURY, W., AND SWEET, R. Mesa language manual. Rep. CSL-79-3, Xerox PARC, Palo Alto, Calif., April 1979.

SMITH , D. PYGMALION: A creative programming environment. Rep. AIM-260 , I)ep. Computer Science , Stanford Univ. , June 1975 . SMITH, D. PYGMALION: A creative programming environment. Rep. AIM-260, I)ep. Computer Science, Stanford Univ., June 1975.

STEELE , G.L. , JR ., AND SUSSMAN , G.J. Constraints. MIT AI Lab. Memo 502, M.I.T., Cambridge , Mass. , Nov. 1978 . Also in APL '79: Conf. Proc., APL Quote Quad (ACM SIGPLAN/STAPL) 9, 4 (June 1979), part 1, pp. 208 - 225 . 10.1145/800136.804464 STEELE, G.L., JR., AND SUSSMAN, G.J. Constraints. MIT AI Lab. Memo 502, M.I.T., Cambridge, Mass., Nov. 1978. Also in APL '79: Conf. Proc., APL Quote Quad (ACM SIGPLAN/STAPL) 9, 4 (June 1979), part 1, pp. 208-225. 10.1145/800136.804464

STEELS , L. Reasoning modelled as a society of communicating experts. MIT-AI TR 542 , M.I.T. , Cambridge , Mass ., 1979 . STEELS, L. Reasoning modelled as a society of communicating experts. MIT-AI TR 542, M.I.T., Cambridge, Mass., 1979.

STEFI g, M. Planning with constraints ( MOLGEN : part 1). Artif Intell. 16 , 2 ( May 1981 ), 111- 139. STEFIg, M. Planning with constraints (MOLGEN: part 1). Artif Intell. 16, 2 (May 1981), 111- 139.

WULF , W.A. , LO~OON , R. , AND SHAW , M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Sofiw. Eng. SE . 2 , 4 ( Dec. 1976 ), 253-264. WULF, W.A., LO~OON, R., AND SHAW, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Sofiw. Eng. SE.2, 4 (Dec. 1976), 253-264.