article

Open access

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

Editor: Susan L. Graham Author:

Alan BorningAuthors Info & Claims

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 3, Issue 4

Pages 353 - 387

https://doi.org/10.1145/357146.357147

Published: 01 October 1981 Publication History

PDF eReader

References

[1]

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

Google Scholar

[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).

Crossref

Google Scholar

[3]

DAHL, O.-J., AND NYGAARD, K. SIMULA--An ALGOL-based simulation language. Commun. ACM 9, 9 (Sept. 1966), 671-678.

Crossref

Google Scholar

[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 Scholar

[5]

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

Google Scholar

[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.

Crossref

Google Scholar

[7]

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

Google Scholar

[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.

Crossref

Google Scholar

[9]

LISKOV, B., SNYDER, A., ATKINSON, R., AND SHAFFERT, C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug. 1977), 564-576.

Crossref

Google Scholar

[10]

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

Google Scholar

[11]

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

Google Scholar

[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).

Crossref

Google Scholar

[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.

Crossref

Google Scholar

[14]

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

Crossref

Google Scholar

[15]

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

Google Scholar

[16]

SUTHERLAND, I. Sketchpad: A Man-Machine Graphical Communication System. Ph.D. dissertation, Dep. Electrical Engineering, M.I.To, Cambridge, Mass., 1963.

Google Scholar

[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 Scholar

Cited By

View all

Tricaud MBeaudouin-Lafon M(2023)Revisiting creative behaviour as an epistemic process: lessons from 12 computational artists and designersProceedings of the 35th Australian Computer-Human Interaction Conference10.1145/3638380.3638395(175-190)Online publication date: 2-Dec-2023
https://dl.acm.org/doi/10.1145/3638380.3638395
Tang ZZou QGao S(2023)A decision-support method for multi-parameter editing of parametric CAD modelsAdvanced Engineering Informatics10.1016/j.aei.2023.10199756(101997)Online publication date: Apr-2023
https://doi.org/10.1016/j.aei.2023.101997
Cascaval DShalah MQuinn PBodik RAgrawala MSchulz A(2022)Differentiable 3D CAD Programs for Bidirectional EditingComputer Graphics Forum10.1111/cgf.1447641:2(309-323)Online publication date: 24-May-2022
https://doi.org/10.1111/cgf.14476
Show More Cited By

Index Terms

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

Recommendations

Designing language-oriented programming languages
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Today, language-oriented programming (LOP) is realized by using either language workbenches or internal DSLs, each with their own advantages and disadvantages. In this work, we design a host language for DSLs with language workbench features, thereby ...
The design and implementation of Kaleidoscope, a constraint imperative programming language
Language-independent aspect-oriented programming
OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications

The term aspect-oriented programming (AOP) has come to describe the set of programming mechanisms developed specifically to express crosscutting concerns. Since crosscutting concerns cannot be properly modularized within object-oriented programming, ...

Comments

Information & Contributors

Information

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

Editor:
Susan L. Graham

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1981

Published in TOPLAS Volume 3, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

625
Total Citations
View Citations
1,553
Total Downloads

Downloads (Last 12 months)200
Downloads (Last 6 weeks)25

Reflects downloads up to 09 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tricaud MBeaudouin-Lafon M(2023)Revisiting creative behaviour as an epistemic process: lessons from 12 computational artists and designersProceedings of the 35th Australian Computer-Human Interaction Conference10.1145/3638380.3638395(175-190)Online publication date: 2-Dec-2023
https://dl.acm.org/doi/10.1145/3638380.3638395
Tang ZZou QGao S(2023)A decision-support method for multi-parameter editing of parametric CAD modelsAdvanced Engineering Informatics10.1016/j.aei.2023.10199756(101997)Online publication date: Apr-2023
https://doi.org/10.1016/j.aei.2023.101997
Cascaval DShalah MQuinn PBodik RAgrawala MSchulz A(2022)Differentiable 3D CAD Programs for Bidirectional EditingComputer Graphics Forum10.1111/cgf.1447641:2(309-323)Online publication date: 24-May-2022
https://doi.org/10.1111/cgf.14476
Valiyappurakkal VShabarise YNatawadkar KMisra K(2022)A methodology to assess the constructibility of free-form buildings using building and surface performance indicators: Application to a case studyEnergy and Buildings10.1016/j.enbuild.2022.112303270(112303)Online publication date: Sep-2022
https://doi.org/10.1016/j.enbuild.2022.112303
Lissandrini MPedersen THose KMottin D(2020)Knowledge graph explorationACM SIGWEB Newsletter10.1145/3409481.34094852020:Summer(1-8)Online publication date: 27-Jul-2020
https://dl.acm.org/doi/10.1145/3409481.3409485
Won JGopinath DHodgins J(2020)A scalable approach to control diverse behaviors for physically simulated charactersACM Transactions on Graphics10.1145/3386569.339238139:4(33:1-33:12)Online publication date: 12-Aug-2020
https://dl.acm.org/doi/10.1145/3386569.3392381
Ingalls D(2020)The evolution of Smalltalk: from Smalltalk-72 through SqueakProceedings of the ACM on Programming Languages10.1145/33863354:HOPL(1-101)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386335
Suzuki RKazi RWei LDiVerdi SLi WLeithinger DIqbal SMacLean KChevalier FMueller S(2020)RealitySketchProceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology10.1145/3379337.3415892(166-181)Online publication date: 20-Oct-2020
https://dl.acm.org/doi/10.1145/3379337.3415892
Ma'ayan DNi WYe KKulkarni CSunshine JBernhaupt RMueller FVerweij DAndres JMcGrenere JCockburn AAvellino IGoguey ABjørn PZhao SSamson BKocielnik R(2020)How Domain Experts Create Conceptual Diagrams and Implications for Tool DesignProceedings of the 2020 CHI Conference on Human Factors in Computing Systems10.1145/3313831.3376253(1-14)Online publication date: 21-Apr-2020
https://dl.acm.org/doi/10.1145/3313831.3376253
Antonopoulos TKoskinen ELe T(2019)Specification and inference of trace refinement relationsProceedings of the ACM on Programming Languages10.1145/33606043:OOPSLA(1-30)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360604
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

References

Cited By

Index Terms

Recommendations

Designing language-oriented programming languages

The design and implementation of Kaleidoscope, a constraint imperative programming language

Language-independent aspect-oriented programming

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations