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

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (2.06 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 3 , Issue 4 (October 1981) table of contents

Pages: 353 - 387

Year of Publication: 1981

ISSN:0164-0925

Author

Alan Borning

Department of Computer Science, FR-35, University of Washington, Seattle, WA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 75, Citation Count: 152

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/357146.357147 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	BOBROW, D., AND WINOGRAD, T. An overview of KRL, a Knowledge Representation Language. Cognitive Sci. 1, 1 (Jan. 1977), 3-46.
	2	Alan Hamilton Borning, Thinglab--a constraint-oriented simulation laboratory., 1979
	3	Ole-Johan Dahl , Kristen Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, v.9 n.9, p.671-678, Sept. 1966 [doi>10.1145/365813.365819]
	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.
	5	HEWITT, C. Viewing control structures as patterns of passing messages. Artif Intell. 8, 3 (June 1977), 323-364.
	6	Daniel H. H. Ingalls, The Smalltalk-76 programming system design and implementation, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.9-16, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512762]
	7	KAY, A., ANn GOLDBERC, A. Personal dynamic media. Computer 10, 3 (March 1977), 31-42.
	8	Henry Lieberman , Carl Hewitt, A session with Tinker: Interleaving program testing with program design, Proceedings of the 1980 ACM conference on LISP and functional programming, p.90-99, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802794]
	9	Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
	10	MITCHELL, J., MAYBURY, W., AND SWEET, R. Mesa language manual. Rep. CSL-79-3, Xerox PARC, Palo Alto, Calif., April 1979.
	11	SMITH, D. PYGMALION: A creative programming environment. Rep. AIM-260, I)ep. Computer Science, Stanford Univ., June 1975.
	12	Guy L. Steele, Jr., The Definition and Implementation of a Computer Programming Language Based on Constraints, Massachusetts Institute of Technology, Cambridge, MA, 1980
	13	Guy Lewis Steele, Jr. , Gerald Jay Sussman, Constraints, Proceedings of the international conference on APL: part 1, p.208-225, May 30-June 01, 1979, New York, New York, United States
	14	Luc Steels, Reasoning Modeled As A Society Of Communicating Experts, Massachusetts Institute of Technology, Cambridge, MA, 1979
	15	STEFIg, M. Planning with constraints (MOLGEN: part 1). 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.To, Cambridge, Mass., 1963.
	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.

CITED BY 152

	Gruia-Catalin Roman , Kenneth C. Cox, Program visualization: the art of mapping programs to pictures, Proceedings of the 14th international conference on Software engineering, p.412-420, May 11-15, 1992, Melbourne, Australia
	Paris Kanellakis, Constraint programming and database languages: a tutorial, Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.46-53, May 22-25, 1995, San Jose, California, United States
	Yaacov Hel-Or , Ari Rappoport , Michael Werman, Relaxed parametric design with probabilistic constraints, Proceedings on the second ACM symposium on Solid modeling and applications, p.261-270, May 19-21, 1993, Montreal, Quebec, Canada
	R. Anderl , R. Mendgen, Parametric design and its impact on solid modeling applications, Proceedings of the third ACM symposium on Solid modeling and applications, p.1-12, May 17-19, 1995, Salt Lake City, Utah, United States
	Jean-Francis Balaguer, Less is more: the power of simplicity, Proceedings of the fourth symposium on Virtual reality modeling language, p.39-45, February 23-26, 1999, Paderborn, Germany
	Joyce Currie Little , Laurence J. Cooper , Barry C. Davis , John Alexander , Peter Joyce , Charles J. Schmitt, An industry/academic partnership experiment: a course in artificial intelligence, ACM SIGCSE Bulletin, v.20 n.1, p.171-175, Feb. 1988
	Kjell Borg, IShell: a visual UNIX shell, Proceedings of the SIGCHI conference on Human factors in computing systems: Empowering people, p.201-207, April 01-05, 1990, Seattle, Washington, United States
	Kenneth J. Goldman, A concepts-first introduction to computer science, ACM SIGCSE Bulletin, v.36 n.1, March 2004
	Krishna A. Bharat , Scott E. Hudson, Supporting distributed, concurrent, one-way constraints in user interface applications, Proceedings of the 8th annual ACM symposium on User interface and software technology, p.121-132, November 15-17, 1995, Pittsburgh, Pennsylvania, United States
	Robert G. Bandes, Constraining-unification and the programming language unicorn, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.106-110, January 15-18, 1984, Salt Lake City, Utah, United States
	Isabel F. Cruz, Tailorable information visualization, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Joxan Jaffar , Spiro Michaylov , Peter J. Stuckey , Roland H. C. Yap, The CLP( R ) language and system, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.3, p.339-395, July 1992
	Tomihisa Kamada , Satoru Kawai, A general framework for visualizing abstract objects and relations, ACM Transactions on Graphics (TOG), v.10 n.1, p.1-39, Jan. 1991
	Kokichi Futatsugi , Koji Okada, A hierarchical structuring method for functional software systems, Proceedings of the 6th international conference on Software engineering, p.393-402, September 13-16, 1982, Tokyo, Japan
	C. Hsu , G. Alt , Z. Huang , E. Beier , B. Brüderlin, A constraint-based manipulator toolset for editing 3D objects, Proceedings of the fourth ACM symposium on Solid modeling and applications, p.168-180, May 14-16, 1997, Atlanta, Georgia, United States
	B. A. Myers, Visual programming, programming by example, and program visualization: a taxonomy, ACM SIGCHI Bulletin, v.17 n.4, p.59-66, April 1986
	Neil Goldman , K. Narayanaswamy, Software evolution through iterative prototyping, Proceedings of the 14th international conference on Software engineering, p.158-172, May 11-15, 1992, Melbourne, Australia
	Wilf R. LaLonde , Dave A. Thomas , John R. Pugh, An exemplar based Smalltalk, ACM SIGPLAN Notices, v.21 n.11, p.322-330, Nov. 1986
	Brad Vander Zanden, An incremental algorithm for satisfying hierarchies of multiway dataflow constraints, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.1, p.30-72, Jan. 1996
	Danny Epstein , Wilf R. LaLonde, A smalltalk window system based on constraints, ACM SIGPLAN Notices, v.23 n.11, p.83-94, Nov. 1988
	David A. Fuller , Sergio T. Mujica , José A. Pino, The design of an object-oriented collaborative spreadsheet with version control and history management, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, p.416-423, February 14-16, 1993, Indianapolis, Indiana, United States
	Neng-Fa Zhou, Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library, Proceedings of the 2001 ACM Symposium on Document engineering, November 09-10, 2001, Atlanta, Georgia, USA
	Bjorn N. Freeman-Benson, Converting an existing user interface to use constraints, Proceedings of the 6th annual ACM symposium on User interface software and technology, p.207-215, December 1993, Atlanta, Georgia, United States
	B. N. Freeman-Benson, A module mechanism for constraints in Smalltalk, ACM SIGPLAN Notices, v.24 n.10, p.389-396, Oct. 1989
	Alan Snyder, Encapsulation and inheritance in object-oriented programming languages, ACM SIGPLAN Notices, v.21 n.11, p.38-45, Nov. 1986
	Brad A. Myers , Dario A. Giuse , Brad Vander Zanden, Declarative programming in a prototype-instance system: object-oriented programming without writing methods, ACM SIGPLAN Notices, v.27 n.10, p.184-200, Oct. 1992
	Volker Haarslev , Ralf Möller, A framework for visualizing object-oriented systems, ACM SIGPLAN Notices, v.25 n.10, p.237-244, Oct. 1990
	James D. Hollan, Strategic issues for human-computer interaction, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Jin-Kao Hao , Jean-Jacques Chabrier, A modular architecture for constraint logic programming, Proceedings of the 19th annual conference on Computer Science, p.203-210, April 1991, San Antonio, Texas, United States
	Richard Furuta , Jeffrey Scofield , Alan Shaw, Document Formatting Systems: Survey, Concepts, and Issues, ACM Computing Surveys (CSUR), v.14 n.3, p.417-472, Sept. 1982
	James Rumbaugh, Controlling propagation of operations using attributes on relations, ACM SIGPLAN Notices, v.23 n.11, p.285-296, Nov. 1988
	David Socha , Mary L. Bailey , David Notkin, Voyeur: graphical views of parallel programs, ACM SIGPLAN Notices, v.24 n.1, p.206-215, Jan. 1989
	Bradley T. Vander Zanden , Richard Halterman , Brad A. Myers , Rich McDaniel , Rob Miller , Pedro Szekely , Dario A. Giuse , David Kosbie, Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.6, p.776-796, November 2001
	M. Young , R. N. Taylor , D. B. Troup , C. D. Kelly, Design principles behind Chiron: a UIMS for software environments, Proceedings of the 10th international conference on Software engineering, p.367-376, April 11-15, 1988, Singapore
	A. Borning, Defining constraints graphically, ACM SIGCHI Bulletin, v.17 n.4, p.137-143, April 1986
	Wolfgang Sohrt , Beat D. Brüderlin, Interaction with constraints in 3D modeling, Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications, p.387-396, June 05-07, 1991, Austin, Texas, United States
	Brad Myers , Jim Hollan , Isabel Cruz , Steve Bryson , Dick Bulterman , Tiziana Catarci , Wayne Citrin , Ephraim Glinert , Jonathan Grudin , Yannis Ioannidis, Strategic directions in human-computer interaction, ACM Computing Surveys (CSUR), v.28 n.4, p.794-809, Dec. 1996
	Nicholas Wilde , Clayton Lewis, Spreadsheet-based interactive graphics: from prototype to tool, Proceedings of the SIGCHI conference on Human factors in computing systems: Empowering people, p.153-160, April 01-05, 1990, Seattle, Washington, United States
	Richard W. Bukowski , Carlo H. Séquin, Object associations: a simple and practical approach to virtual 3D manipulation, Proceedings of the 1995 symposium on Interactive 3D graphics, p.131-ff., April 09-12, 1995, Monterey, California, United States
	Scott E. Hudson , Roger King, CACTIS: a database system for specifying functionally-defined data, Proceedings on the 1986 international workshop on Object-oriented database systems, p.26-37, September 23-26, 1986, Pacific Grove, California, United States
	Pascal Van Hentenryck , Vijay Saraswat, Strategic directions in constraint programming, ACM Computing Surveys (CSUR), v.28 n.4, p.701-726, Dec. 1996
	Randall B. Smith, Experiences with the alternate reality kit: an example of the tension between literalism and magic, ACM SIGCHI Bulletin, v.17 n.SI, p.61-67, May 1987
	Greg J. Badros , Jojada J. Tirtowidjojo , Kim Marriott , Bernd Meyer , Will Portnoy , Alan Borning, A constraint extension to scalable vector graphics, Proceedings of the 10th international conference on World Wide Web, p.489-498, May 01-05, 2001, Hong Kong, Hong Kong
	Bjorn N. Freeman-Benson , John Maloney , Alan Borning, An incremental constraint solver, Communications of the ACM, v.33 n.1, p.54-63, Jan. 1990
	Pedro Szekely , Brad Myers, A user interface toolkit based on graphical objects and constraints, ACM SIGPLAN Notices, v.23 n.11, p.36-45, Nov. 1988
	Peter Lucas , Tore Risch, Representation of factual information by equations and their evaluation, Proceedings of the 6th international conference on Software engineering, p.367-376, September 13-16, 1982, Tokyo, Japan
	Jaroslaw R. Rossignac, Constraints in constructive solid geometry, Proceedings of the 1986 workshop on Interactive 3D graphics, p.93-110, January 1987, Chapel Hill, North Carolina, United States
	Wilf R. LaLonde, Designing families of data types using exemplars, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.2, p.212-248, April 1989
	David G. Clarke , John M. Potter , James Noble, Ownership types for flexible alias protection, ACM SIGPLAN Notices, v.33 n.10, p.48-64, Oct. 1998
	Bruce Horn, Constraint patterns as a basis for object oriented programming, ACM SIGPLAN Notices, v.27 n.10, p.218-233, Oct. 1992
	Bradley T. Vander Zanden , Richard Halterman, Using model dataflow graphs to reduce the storage requirements of constraints, ACM Transactions on Computer-Human Interaction (TOCHI), v.8 n.3, p.223-265, September 2001
	Takeo Igarashi , Satoshi Matsuoka , Sachiko Kawachiya , Hidehiko Tanaka, Interactive beautification: a technique for rapid geometric design, Proceedings of the 10th annual ACM symposium on User interface software and technology, p.105-114, October 14-17, 1997, Banff, Alberta, Canada
	Ed Anson, The device model of interaction, ACM SIGGRAPH Computer Graphics, v.16 n.3, p.107-114, July 1982
	Brad A. Myers, User interface software tools, ACM Transactions on Computer-Human Interaction (TOCHI), v.2 n.1, p.64-103, March 1995
	T. Lougenia Anderson , Earl F. Ecklund, Jr. , David Maier, PROTEUS: objectifying the DBMS user interface, Proceedings on the 1986 international workshop on Object-oriented database systems, p.133-145, September 23-26, 1986, Pacific Grove, California, United States
	Brad A. Myers, Separating application code from toolkits: eliminating the spaghetti of call-backs, Proceedings of the 4th annual ACM symposium on User interface software and technology, p.211-220, November 11-13, 1991, Hilton Head, South Carolina, United States
	John H. Maloney , Randall B. Smith, Directness and liveness in the morphic user interface construction environment, Proceedings of the 8th annual ACM symposium on User interface and software technology, p.21-28, November 15-17, 1995, Pittsburgh, Pennsylvania, United States
	Conal Elliott , Greg Schechter , Ricky Yeung , Salim Abi-Ezzi, TBAG: a high level framework for interactive, animated 3D graphics applications, Proceedings of the 21st annual conference on Computer graphics and interactive techniques, p.421-434, July 1994
	Hiroshi Hosobe, A modular geometric constraint solver for user interface applications, Proceedings of the 14th annual ACM symposium on User interface software and technology, November 11-14, 2001, Orlando, Florida
	Hervé Lamure , Dominique Michelucci, Solving geometric constraints by homotopy, Proceedings of the third ACM symposium on Solid modeling and applications, p.263-269, May 17-19, 1995, Salt Lake City, Utah, United States
	Michael Salisbury , Alan Borning, A user interface for the electronic encyclopedia exploratorium, Proceedings of the 1st international conference on Intelligent user interfaces, p.263-267, January 04-07, 1993, Orlando, Florida, United States
	Peri Tarr , Lori A. Clarke, PLEIADES: an object management system for software engineering environments, ACM SIGSOFT Software Engineering Notes, v.18 n.5, p.56-70, Dec. 1993
	Alan Borning , Robert Duisberg , Bjorn Freeman-Benson , Axel Kramer , Michael Woolf, Constraint hierarchies, ACM SIGPLAN Notices, v.22 n.12, p.48-60, Dec. 1987
	Bowen Alpern , Alan Carle , Barry Rosen , Peter Sweeney , Kenneth Zadeck, Graph attribution as a specification paradigm, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.121-129, November 1988
	Prasun Dewan , Marvin Solomon, An approach to support automatic generation of user interfaces, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.4, p.566-609, Oct. 1990
	Scott E. Hudson, User interface specification using an enhanced spreadsheet model, ACM Transactions on Graphics (TOG), v.13 n.3, p.209-239, July 1994
	Alan Borning , Richard Lin , Kim Marriott, Constraints for the web, Proceedings of the fifth ACM international conference on Multimedia, p.173-182, November 09-13, 1997, Seattle, Washington, United States
	Tyson R. Henry , Scott E. Hudson, Using active data in a UIMS, Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software, p.167-178, October 17-19, 1988, Alberta, Canada
	Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz, Constraint query languages (preliminary report), Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.299-313, April 02-04, 1990, Nashville, Tennessee, United States
	M. Spenke , C. Beilken, A spreadsheet interface for logic programming, ACM SIGCHI Bulletin, v.20 n.SI, p.75-80
	Kevin Sullivan , David Notkin, Reconciling environment integration and component independence, ACM SIGSOFT Software Engineering Notes, v.15 n.6, p.22-33, Dec. 1990
	Randall B. Smith, Prototype-based languages (panel): object lessons from class-free programming, ACM SIGPLAN Notices, v.29 n.10, p.102-112, Oct. 1994
	Roswitha Bardohl, A visual environment for visual languages, Science of Computer Programming, v.44 n.2, p.181-203, August 2002
	Kenneth J. Rodham , Dan R. Olsen, Jr., Nanites: an approach to structure-based monitoring, ACM Transactions on Computer-Human Interaction (TOCHI), v.4 n.2, p.103-136, June 1997
	Joseph A. Konstan , Lawrence A. Rowe, Developing a GUIDE using object-oriented programming, ACM SIGPLAN Notices, v.26 n.11, p.75-88, Nov. 1991
	Raimund K. Ege, Constraint-based user interfaces for simulations, Proceedings of the 20th conference on Winter simulation, p.263-271, December 12-14, 1988, San Diego, California, United States
	E. P. Glinert, Out of Flatland: towards 3-D visual programming, Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, p.292-299, December 1987, Dallas, Texas, United States
	David Ungar , Randall B. Smith, Self: The power of simplicity, ACM SIGPLAN Notices, v.22 n.12, p.227-242, Dec. 1987
	O. M. Nierstrasz, Active objects in hybrid, ACM SIGPLAN Notices, v.22 n.12, p.243-253, Dec. 1987
	Paul J. Drongowski, Representation in CAD: Models and semantics, Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, p.131-135, March 1985, New Orleans, Louisiana, United States
	Brad A. Myers, Creating user interfaces using programming by example, visual programming, and constraints, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.2, p.143-177, April 1990
	Christophe Dony , Jacques Malenfant , Pierre Cointe, Prototype-based languages: from a new taxonomy to constructive proposals and their validation, ACM SIGPLAN Notices, v.27 n.10, p.201-217, Oct. 1992
	Brad Myers , Scott E. Hudson , Randy Pausch, Past, present, and future of user interface software tools, ACM Transactions on Computer-Human Interaction (TOCHI), v.7 n.1, p.3-28, March 2000
	Alan Borning , Robert Duisberg, Constraint-based tools for building user interfaces, ACM Transactions on Graphics (TOG), v.5 n.4, p.345-374, Oct. 1986
	Laurent Michel , Pascal Van Hentenryck, A constraint-based architecture for local search, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Frédéric Bes , Cécile Roisin, A presentation language for controlling the formatting process in multimedia presentations, Proceedings of the 2002 ACM symposium on Document engineering, November 08-09, 2002, McLean, Virginia, USA
	M. Young , R. N. Taylor , D. B. Troup, Software Environment Architectures and User Interface Facilities, IEEE Transactions on Software Engineering, v.14 n.6, p.697-708, June 1988
	Alex Brodsky , Hadon Nash, CoJava: a unified language for simulation and optimization, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
	Truong Lan Le , Zenon Kulpa, Diagrammatic spreadsheet, Machine Graphics & Vision International Journal, v.12 n.1, p.133-146, January 2003
	Alan Borning , Richard Kuang-Hsu Lin , Kim Marriott, Constraint-based document layout for the Web, Multimedia Systems, v.8 n.3, p.177-189, October 2000
	Scott E. Hudson , Roger King, Object-oriented database support for software environments, ACM SIGMOD Record, v.16 n.3, p.491-503, Dec. 1987
	A. J. Gonzalez , H. R. Myler , F. D. McKenzie , M. Towhidnejad , R. R. Kladke, Validation of an Automated System Model Generator, IEEE Transactions on Knowledge and Data Engineering, v.6 n.4, p.643-648, August 1994
	James J. Thomas , Griffith Hamlin, Graphical input interaction technique (GIIT), ACM SIGGRAPH Computer Graphics, v.17 n.1, p.5-30, January 1983
	Bharat Jayaraman , Pallavi Y. Tambay, Constrained objects for modeling complex structures (extended abstract), Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), p.159-160, January 2000, Minneapolis, Minnesota, United States
	Allen Wirfs-Brock , Brian Wilkerson, A overview of modular smalltalk, ACM SIGPLAN Notices, v.23 n.11, p.123-134, Nov. 1988
	Ching-Chy Wang , Errol L. Lloyd , Mary Lou Soffa, Feedback vertex sets and cyclically reducible graphs, Journal of the ACM (JACM), v.32 n.2, p.296-313, April 1985
	A. H. Borning, Classes versus prototypes in object-oriented languages, Proceedings of 1986 ACM Fall joint computer conference, p.36-40, November 1986, Dallas, Texas, United States
	Matthew E. Hodges , Russell M. Sasnett , Mark S. Ackerman, A Construction Set for Multimedia Applications, IEEE Software, v.6 n.1, p.37-43, January 1989
	Scott E. Hudson , Roger King, A generator of direct manipulation office systems, ACM Transactions on Information Systems (TOIS), v.4 n.2, p.132-163, April 1986
	Kevin J. Sullivan , David Notkin, Reconciling environment integration and software evolution, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.3, p.229-268, July 1992
	Alex Olwal , Steven Feiner, Unit: modular development of distributed interaction techniques for highly interactive user interfaces, Proceedings of the 2nd international conference on Computer graphics and interactive techniques in Australasia and South East Asia, June 15-18, 2004, Singapore
	Scott E. Hudson , Roger King, Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system, ACM Transactions on Database Systems (TODS), v.14 n.3, p.291-321, Sept. 1989
	Mark Moriconi , Dwight F. Hare, PegaSys: A system for graphical explanation of program designs, ACM SIGPLAN Notices, v.18 n.6, p.148-160, June 1983
	Scott E. Hudson , Shamim P. Mohamed, Interactive specification of flexible user interface displays, ACM Transactions on Information Systems (TOIS), v.8 n.3, p.269-288, July 1990
	Stephen A. Weyer , Alan H. Borning, A prototype electronic encyclopedia, ACM Transactions on Information Systems (TOIS), v.3 n.1, p.63-88, Jan. 1985
	Brad Vander Zanden , Brad A. Myers , Dario A. Giuse , Pedro Szekely, Integrating pointer variables into one-way constraint models, ACM Transactions on Computer-Human Interaction (TOCHI), v.1 n.2, p.161-213, June 1994
	Bharat Jayaraman , Pallavi Y. Tambay, Constrained objects for modeling complex structures (extended abstract) (poster session), Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), p.71-72, January 2000, Minneapolis, Minnesota, United States
	François Pachet , Olivier Delerue, MidiSpace: a temporal constraint-based music spatializer, Proceedings of the sixth ACM international conference on Multimedia, p.351-359, September 13-16, 1998, Bristol, United Kingdom
	Gregory John Glass, A user interface for architectural design, a case study, Proceedings of the 19th conference on Design automation, p.508-513, January 1982
	Dennis Koelma , Richard van Balen , Arnold Smeulders, SCIL-VP: a multi-purpose visual programming environment, Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, p.1188-1198, March 1992, Kansas City, Missouri, United States
	Margaret Burnett , Richard Hossli , Tim Pulliam , Brian VanVoorst , Xiaoyang Yang, Toward Visual Programming Languages for Steering Scientific Computations, IEEE Computational Science & Engineering, v.1 n.4, p.44-62, December 1994
	Kevin J. Sullivan , Ira J. Kalet , David Notkin, Evaluating The Mediator Method: Prism as a Case Study, IEEE Transactions on Software Engineering, v.22 n.8, p.563-579, August 1996
	Hervé Lamure , Dominique Michelucci, Solving Geometric Constraints By Homotopy, IEEE Transactions on Visualization and Computer Graphics, v.2 n.1, p.28-34, March 1996
	Brad A. Myers , Dario A. Giuse , Roger B. Dannenberg , David S. Kosbie , Edward Pervin , Andrew Mickish , Brad Vander Zanden , Philippe Marchal, Garnet: Comprehensive Support for Graphical, Highly Interactive User Interfaces, Computer, v.23 n.11, p.71-85, November 1990
	Chen Ding , Prabhaker Mateti, A Framework for the Automated Drawing of Data Structure Diagrams, IEEE Transactions on Software Engineering, v.16 n.5, p.543-557, May 1990
	Laurent Michel , Pascal Van Hentenryck, Comet in context, Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday, p.95-107, June 08-08, 2003, San Diego, California, USA
	Alan H. Borning , Daniel H. H. Ingalls, A type declaration and inference system for smalltalk, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.133-141, January 25-27, 1982, Albuquerque, Mexico
	P. Fraser , D. A. Lamb, An annotated bibliography on user interface design, ACM SIGCHI Bulletin, v.21 n.1, p.17-28, July 1989
	Jia-Huai You , P. A. Subrahmanyam, Equational logic programming: an extension to equational programming, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.209-218, January 01, 1986, St. Petersburg Beach, Florida
	Stéphane Ducasse , Oscar Nierstrasz , Nathanael Schärli , Roel Wuyts , Andrew P. Black, Traits: A mechanism for fine-grained reuse, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.2, p.331-388, March 2006
	Gary Marchionini , John Sibert, An agenda for human-computer interaction: science and engineering serving human needs, ACM SIGCHI Bulletin, v.23 n.4, p.17-32, Oct. 1991
	Ronald W. Ferguson , Neil Cutshaw , Huzaifa Zafar, Intelligent drawing correction using place vocabulary constraints, Proceedings of the 11th international conference on Intelligent user interfaces, January 29-February 01, 2006, Sydney, Australia
	Wm Leler, Constraint languages for computer aided design, ACM SIGDA Newsletter, v.15 n.2, p.11-15, June 1985
	Barbara G. Ryder , Mary Lou Soffa , Margaret Burnett, The impact of software engineering research on modern progamming languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.4, p.431-477, October 2005
	Paul S. Barth, An object-oriented approach to graphical interfaces, ACM Transactions on Graphics (TOG), v.5 n.2, p.142-172, April 1986
	Paris Kanellakis, Database querying and constraint programming, ACM SIGACT News, v.25 n.4, p.22-87, Dec. 1994
	Mark Moriconi , Dwight F. Hare, The PegaSys System: pictures as formal documentation of large programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.524-546, Oct. 1986
	Takeo Igarashi , Satoshi Matsuoka , Sachiko Kawachiya , Hidehiko Tanaka, Interactive beautification: a technique for rapid geometric design, ACM SIGGRAPH 2006 Courses, July 30-August 03, 2006, Boston, Massachusetts
	Luis A. Pineda, Conservation principles and action schemes in the synthesis of geometric concepts, Artificial Intelligence, v.171 n.4, p.197-238, March, 2007
	Takeo Igarashi , Satoshi Matsuoka , Sachiko Kawachiya , Hidehiko Tanaka, Interactive beautification: a technique for rapid geometric design, ACM SIGGRAPH 2007 courses, August 05-09, 2007, San Diego, California
	Kevin B. Kenny, TclSolver: an algebraic constraint manager for Tcl, Proceedings of the 4th conference on USENIX Tcl/Tk Workshop, 1996, p.8-8, July 10-13, 1996, Monterey, California
	Alexander Repenning , Andri Ioannidou, Agent warp engine: formula based shape warping for networked applications, Proceedings of the working conference on Advanced visual interfaces, May 28-30, 2008, Napoli, Italy
	Y. Naveh , Y. Richter , Y. Altshuler , D. L. Gresh , D. P. Connors, Workforce optimization: identification and assignment of professional workers using constraint programming, IBM Journal of Research and Development, v.51 n.3, p.263-279, May 2007
	Leslie Lamport , Fred B. Schneider, Constraints: a uniform approach to aliasing and typing, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.205-216, January 14-16, 1985, New Orleans, Louisiana, United States
	Gary Lindstrom, Functional programing and the logical variable, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.266-280, January 14-16, 1985, New Orleans, Louisiana, United States
	Warwick Harvey , Peter J. Stuckey , Alan Borning, Fourier Elimination for Compiling Constraint Hierarchies, Constraints, v.7 n.2, p.199-219, April 2002
	J Rhyne, Dialogue management for gestural interfaces, ACM SIGGRAPH Computer Graphics, v.21 n.2, p.137-142, April 1987
	Bibliography of software tools for user interface development, ACM SIGGRAPH Computer Graphics, v.21 n.2, p.145-147, April 1987
	Weiqing He , Kim Marriott, Constrained Graph Layout, Constraints, v.3 n.4, p.289-314, October 1998
	Antero Taivalsaari, Delegation versus concatenation or cloning is inheritance too, ACM SIGPLAN OOPS Messenger, v.6 n.3, p.20-49, July 1995
	T Lougenia Anderson , Earl F Ecklund , David Maier, The proteus bibliography: Representation and interactive display in databases, ACM SIGMOD Record, v.15 n.3, p.46-55, Sept. 1986
	Pascal Van Hentenryck , Vijay Saraswat, Constraint Programming: Strategic Directions, Constraints, v.2 n.1, p.7-33, April 1997
	Raphaël Chenouard , Laurent Granvilliers , Ricardo Soto, Model-driven constraint programming, Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, July 15-17, 2008, Valencia, Spain
	Alan Borning, Graphically defining new building blocks in ThingLab, Human-Computer Interaction, v.2 n.4, p.269-295, December 1986
	David L. Maulsby , Ian H. Witten , Kenneth A. Kittlitz , Valerio G. Franceschin, Inferring graphical procedures: the compleat metarnouse, Human-Computer Interaction, v.7 n.1, p.47-89, March 1992
	Mary Beth Rosson , Sherman R. Alpert, The cognitive consequences of object-oriented design, Human-Computer Interaction, v.5 n.4, p.345-379, December 1990
	Robert Adámy Duisberg, Animation using temporal constraints: an overview of the animus system, Human-Computer Interaction, v.3 n.3, p.275-307, September 1987
	Grégoire Dooms , Pascal Hentenryck , Laurent Michel, Model-driven visualizations of constraint-based local search, Constraints, v.14 n.3, p.294-324, September 2009
	Philippe David, Using pivot consistency to decompose and solve functional CSPS, Journal of Artificial Intelligence Research, v.2 n.1, p.447-474, August 1994
	Douglas B. Lenat , Alan Borning , David McDonald , Craig Taylor , Steven Weyer, Knoesphere: building export systems with encyclopedic knowledge, Proceedings of the Eighth international joint conference on Artificial intelligence, p.167-169, August 08-12, 1983, Karlsruhe, West Germany
	Richard Allen , Jeanne Idt , Laurent Trilling, Constraint based automatic construction and manipulation of geometric figures, Proceedings of the 13th international joint conference on Artifical intelligence, p.453-458, August 28-September 03, 1993, Chambery, France
	Rina Dechter , Judea Pearl, Directed constraint networks: a relational framework for causal modeling, Proceedings of the 12th international joint conference on Artificial intelligence, p.1164-1170, August 24-30, 1991, Sydney, New South Wales, Australia