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

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 3, Issue 4, 1981, Pages 353-387

  Borning, Alan ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

Author keywords

constraint satisfaction; constraints; inheritance; object oriented languages; part whole hierarchies; Smalltalk; ThingLab

Indexed keywords

EID: 84976722628     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/357146.357147     Document Type: Article

References (17)

1. Bobrow, D., and Winograd, T. An overview of KRL, a Knowledge Representation Language. Cognitive Sci. 1, 1 (1977), 3–46.
2. Borning, A. Thing Lab A Constraint–Oriented Simulation Laboratory. Ph.D. dissertation, Dep. Computer Science, Stanford Univ., Stanford, Calif., March 1979.
3. Dahl, O. J., and Nygaard, K. SIMULA–An ALGOL–based simulation language. Commun. ACM 9, 9 (1966), 671–678.
4. 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. Machine Intelligence, vol. 6.
5. B. Meltzer and D. Michie. Edinburgh University Press, Edinburgh, Scotland, 1971, pp. 467–492.
6. Hewitt, C. Viewing control structures as patterns of passing messages. Artif Intell. 8, 3 (June 1977), 323–364.
7. Ingalls, D. H. H. The Smalltalk–76 programming system: Design and implementation. Conf. Rec., 5th Ann. ACM Syrup. Principles of Programming Languages, Tucson, Ariz., 1978, pp. 9–16.
8. Kay, A., and GOldberg, A. Personal dynamic media. Computer 10, 3 (March 1977), 31–42.
9. Lieberman, H., and Hewltt, C. A session with TINKER: Interleaving program testing with program design. Proc. 1980 LISP Conf., Stanford Univ., Stanford, Calif., 1980, pp. 90–99.
10. Liskov, S., Snyder, A., Atkinson, R., and Shaffert, C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (1977), 564–576.
11. Mitchell, J., Maybury, W., and Sweet, R. Mesa language manual. Rep. CSL–79–3, Xerox PARC, Palo Alto, Calif., April 1979.
12. Smith, D. PYGMALION: A creative programming environment. Rep. AIM–260, Dep. Computer Science, Stanford Univ., June 1975.
13. Steele, G. The Definition and Implementation of a Computer Programming Language Based on Constraints. Ph.D. dissertation, Dep. Electrical Engineering and Computer Science, M.I.T., Cambridge, Mass., Aug. 1980.
14. Steels, L. Reasoning modelled as a society of communicating experts. Cambridge, Mass., 1979.
15. Stefik, M. Planning with constraints. Artif Intell. 16, 2 (May 1981), 111–139.
16. Sutherland, I. Sketchpad: A Man–Machine Graphical Communication System. Ph.D. dissertation, Dep. Electrical Engineering, M.I.T., Cambridge, Mass., 1963.
17. Wulf, W. A., London, R., and Shaw, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Softw. Eng. SE 2, 4 (1976), 253–264.