Defining constraints graphically

Conference on Human Factors in Computing Systems - Proceedings

Volumn , Issue , 1986, Pages 137-143

  Borning, Alan ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

IMPLEMENTATION LANGUAGES;

HUMAN ENGINEERING;

EID: 85038126681     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/22627.22363     Document Type: Conference Paper

References (19)

1. Borning, 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).
2. Boming, A.H. The Programming Language Aspects of ThingLab, A Constraint-Oriented Simulation Laboratory. ACM Transactions on Programming Languages and Systems 3(4):353-387, October, 1981.
3. Christensen, C. On the Implementation of AMBIT, a Language for Symbol Manipulation. Communications of the ACM 9(8):570-573, August, 1966.
4. Curry, G.A. Programming by Abstract Demonstration, PhD thesis, University of Washington, 1978. Published as UW Technical Report 78-03-02.
5. 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.
6. Glinert, E.P. PICT: Experiments in the Design of Interactive, Graphical Programming Environments. PhD thesis, University of Washington, 1985.
7. Goldberg, A.J., and Robson, D. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983.
8. Gosling, J. Algebraic Constraints. PhD thesis, Carnegie-Mellon University, May, 1983. Published as CMU Computer Science Department tech report CMU-CS-83-132.
9. Gould, L., and Finzer, W. Programming by Rehearsal. Technical Report SCL-84-1, Xerox Palo Alto Research Center, May, 1984.
10. Gould, L., and Finzer, W. Programming by Rehearsal. Byte 9(6): 187-210, June, 1984.
11. Haibert, D. Programming by Example. PhD thesis, University of California, Berkeley, 1984. Published as Technical Report OSD-T8402, Office Systems Division, Xerox Corporation, Palo Alto, CA.
12. 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.
13. Levitt, D. Machine Tongues X: Constraint Languages. Computer Music Journal 8(1):9-21, Spring, 1984.
14. 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.
15. Smith, D.C. PYGMALION: A Creative Programming Environment. PhD thesis, Stanford, 1975. Published as Stanford Computer Science Department Report STAN-CS-75-499.
16. Steele, G.L. The Definition and Implementation of a Computer Programming Language Based on Constraints. PhD thesis, MIT, August, 1980. Published as MIT-AI TR 595, August 1980.
17. Sutherland, I. Sketchpad: A Man-Machine Graphical Communication System. PhD thesis, MIT, 1963.
18. Sutherland, W. On-Line Graphical Specifications of Computer Procedures. PhD thesis, MIT, 1966.
19. Van Wyk, C. A Language for Typesetting Graphics. PhD thesis, Stanford, June, 1980.