A. Borning
ABSTRACT
A number of constraint-oriented, interactive graphical systems have been constructed. A typical problem in such systems is that, to define a new kind of constraint, the user must leave the graphical domain and write code in the underlying implementation language. This makes it difficult for less experienced users to add new kinds of constraints. As a step toward solving this problem, the system described here allows the graphical definition of constraints. An interface has been built in which a user can conveniently construct a new kind of object, annotating it with the relations that it must obey.
- Borning 79.Boming, A.H. ThingLab -- A Constraint- Oriented Simulation Laboratory. PhD thesis, Stanford, March, 1979. A revised version is published as Xerox Palo Alto Research Center Report SSL-79-3 (July 1979).]]Google Scholar
- Borning 81.Borning, A.H. The Programming language Aspects of Thingl~b, A Constraint-Oriented Simulation Laboratory. ACM Transactions on Programming Languages and Systems 3(4):353-387, October, 1981.]] Google ScholarDigital Library
- Christensen 66.Christensen, C. On the Implementation of AMBIT, a Language for Symbol Manipulation. Communications of the ACM 9(8):570-573, August, 1966.]] Google ScholarDigital Library
- Curry 78.Curry, G.A. Programming by Abstract Demonstration. PhD thesis, University of Washington, 1978. Published as UW Technical Report 78-03-02.]] Google ScholarDigital Library
- Ellis 69.Ellis, T.O., Haefner, J.F., and Sibley, W.L. The GRAIL Project: An Experiment in Man-Machine Communication. Technical Report RM-5999-ARPA, The RAND Corporation, 1969.]]Google Scholar
- Glinert 85.Glinert, E.P. PICT: Experiments in the Design of Interactive, Graphical Programming Environments. Phi) thesis, University of Washington, 1985.]] Google ScholarDigital Library
- Goldberg 83.Goldberg, A.J., and Robson, D. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983.]] Google ScholarDigital Library
- Gosling 83.Gosling, J. Algebraic Constraints. PhD thesis, Carnegie-Mellon University, May, 1983. Published as CMU ComputeT Science Department tech report CMU- CS-83-132.]] Google ScholarDigital Library
- Gould 84a.Gould, L., and Finzer, W. Programming by Rehearsal. Technical Report SCL--84-1, Xerox Palo Alto Rese.areh Center, May, 1984.]]Google Scholar
- Gould 84b.Gould, L., and Finzer, W. Programming by Rehearsal. Byte 9(6): 187-210, June, 1984.]]Google Scholar
- Halbert 84.Halbert, D. Programming by Example. Phi) thesis, University of California, Berkeley, 1984. Published as Technical Retxm OSD-T8402, Office Systems Division, Xerox Corlx~tion, Palo Alto, CA.]] Google ScholarDigital Library
- Leler 86.Leler, W. Specification and Generation of Constraint Satisfaction Systems Using Augmented Term Rewriting. Forthcoming PhD thesis, Computer Science Department, University of North Carolina at Chapel Hill. 1986.]] Google ScholarDigital Library
- Levitt 84.Levitt, D. Machine Tongues X: Constraint Languages. Computer Music Journal 8(1):9-21, Spring, 1984.]]Google ScholarCross Ref
- Nelson 85.Nelson, G. Juno, A Constraint-Based Graphics System. In Barsky, B.A. (editor), SIGGRAPH '85 Conference Proceedings, pages 235-243. ACM, San Francisco, July, 1985.]] Google ScholarDigital Library
- Smith 75.Smith, D.C. PYGMALION: A Creative Programming Environment. Phi) thesis, Stanford, 1975. Published as Stanford Computer Science Department Report STAN-CS-75-499.]] Google ScholarDigital Library
- Steele 80.Steele, G.L. The Definition and Implementation of a Computer Programming Language Based on Constraints. PhD thesis, MIT, August, 1980. Published as Mrr-AI TR 595, August 1980.]] Google ScholarDigital Library
- Sutherland 63.Sutherland, I. Sketchpad: A Man-Machine Graphical Communication System. Phi) thesis, MIT, 1963.]]Google Scholar
- Sutherland 66.Sutherland, W. On-Line Graphical Specifications of Computer Procedures. Phi) thesis, MIT, 1966.]]Google Scholar
- Van Wyk 80.Van Wyk, C. A Language for Typesetting Graphics. PhD thesis, Stanford, June, 1980.]] Google ScholarDigital Library
Index Terms
- Defining constraints graphically
Recommendations
Defining constraints graphically
Special issue: CHI '86 Conference ProceedingsA number of constraint-oriented, interactive graphical systems have been constructed. A typical problem in such systems is that, to define a new kind of constraint, the user must leave the graphical domain and write code in the underlying implementation ...
Graphically defining new building blocks in ThingLab
ThingLab is a constraint-oriented, interactive graphical system for building simulations. A typical problem in ThingLab (and in systems like it) is that, to define an object with a new kind of constraint, the user must leave the graphical domain and ...
Graphically enhanced keyboard accelerators for GUIs
GI '10: Proceedings of Graphics Interface 2010We introduce GEKA, a graphically enhanced keyboard accelerator method that provides the advantages of a traditional command line interface within a GUI environment, thus avoiding the "Fitts-induced bottleneck" of pointer movement that is characteristic ...
Comments