skip to main content
article
Open Access

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

Authors Info & Claims
Published:01 October 1981Publication History
First page image

References

  1. 1 BOBROW, D., AND WINOGRAD, T. An overview of KRL, a Knowledge Representation Language. Cognitive Sci. 1, 1 (Jan. 1977), 3-46.Google ScholarGoogle Scholar
  2. 2 BORNING, A. ThingLab--A Constraint-Oriented Simulation Laboratory. Ph.D. dissertation, Dep. Computer Science, Stanford Univ., Stanford, Calif., March 1979 (revised version available as Rep. SSL-79-3, Xerox PARC, Palo Alto, Calif., July 1979). Google ScholarGoogle Scholar
  3. 3 DAHL, O.-J., AND NYGAARD, K. SIMULA--An ALGOL-based simulation language. Commun. ACM 9, 9 (Sept. 1966), 671-678. Google ScholarGoogle Scholar
  4. 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. In Machine Intelligence, vol. 6, B. Meltzer and D. Michie (Eds.). Edinburgh University Press, Edinburgh, Scotland, 1971, pp. 467-492.Google ScholarGoogle Scholar
  5. 5 HEWITT, C. Viewing control structures as patterns of passing messages. Artif Intell. 8, 3 (June 1977), 323-364.Google ScholarGoogle Scholar
  6. 6 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. Google ScholarGoogle Scholar
  7. 7 KAY, A., ANn GOLDBERC, A. Personal dynamic media. Computer 10, 3 (March 1977), 31-42.Google ScholarGoogle Scholar
  8. 8 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. Google ScholarGoogle Scholar
  9. 9 LISKOV, B., SNYDER, A., ATKINSON, R., AND SHAFFERT, C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug. 1977), 564-576. Google ScholarGoogle Scholar
  10. 10 MITCHELL, J., MAYBURY, W., AND SWEET, R. Mesa language manual. Rep. CSL-79-3, Xerox PARC, Palo Alto, Calif., April 1979.Google ScholarGoogle Scholar
  11. 11 SMITH, D. PYGMALION: A creative programming environment. Rep. AIM-260, I)ep. Computer Science, Stanford Univ., June 1975.Google ScholarGoogle Scholar
  12. 12 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 (available as MIT-AI TR 595, Aug. 1980). Google ScholarGoogle Scholar
  13. 13 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. Google ScholarGoogle Scholar
  14. 14 STEELS, L. Reasoning modelled as a society of communicating experts. MIT-AI TR 542, M.I.T., Cambridge, Mass., 1979. Google ScholarGoogle Scholar
  15. 15 STEFIg, M. Planning with constraints (MOLGEN: part 1). Artif Intell. 16, 2 (May 1981), 111- 139.Google ScholarGoogle Scholar
  16. 16 SUTHERLAND, I. Sketchpad: A Man-Machine Graphical Communication System. Ph.D. dissertation, Dep. Electrical Engineering, M.I.To, Cambridge, Mass., 1963.Google ScholarGoogle Scholar
  17. 17 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.Google ScholarGoogle Scholar

Index Terms

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

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM Transactions on Programming Languages and Systems
          ACM Transactions on Programming Languages and Systems  Volume 3, Issue 4
          Oct. 1981
          184 pages
          ISSN:0164-0925
          EISSN:1558-4593
          DOI:10.1145/357146
          Issue’s Table of Contents

          Copyright © 1981 ACM

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 October 1981
          Published in toplas Volume 3, Issue 4

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader