Article

Free access

Descartes: A programming-language approach to interactive display interfaces

Authors:

Michael Horowitz,

Randy PauschAuthors Info & Claims

SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

Pages 100 - 111

https://doi.org/10.1145/800226.806856

Published: 01 June 1983 Publication History

Abstract

This paper shows how the principles of programming methodology and language design can help solve the problem of specifying and creating interactive display interfaces for software systems. Abstraction techniques, such as abstract data types, can support both the specification of display interfaces and the implementation of those interfaces in a variety of styles. These abstraction techniques also guide the organization of software systems that will use display interfaces. We are developing a system that includes specifications, interface description tools, prototype organizations, and runtime support. The emphasis is on flexibility and on the separation of policy from particular instances. Preliminary results from implementations in a prototype domain indicate the feasibility of the approach.

References

[1]

Ed Anson. "The Device Model of Interaction." ACM Computer Graphics 16, 3 (July 1982), 107-114.

Digital Library

[2]

J. Eugene Ball. Canvas: the Spice graphics package. Tech. Rept. Spice Document S108, Carnegie-Mellon. University, Department of Computer Science, August, 1981.

[3]

Douglas K. Brotz. |Laurel Manual.\ XEROX PARC, 1981.

[4]

W. Buxton, S. Patel, W. Reeves and R. Baecker. "OBJED" and the Design of Timbral Resources. Proceedings of International Conference on Computers and Music, 1980, pp. 1-12.

[5]

William Buxton. Music Software User's Manual. Computer Systems Research Group - University of Toronto, Toronto, Ontario, Canada, 1981. C.S.R.G. Technical Note 22.

[6]

Stuart K. Card, Thomas P. Moran, and Allen Newell. The Psychology of Human-Computer Interaction. Lawrence Erlbaum Associates, Hillsdale, N. J., 1982.

Digital Library

[7]

G. Curry, L. Baer, D. Lipkie, B. Lee. "Traits: An Approach to Multiple-Inheritance Subclassing." ACM SIGOA Newsletter 3, 1&2 (June 1982), 1-9. Proceedings of Conference on Office Information Systems

Digital Library

[8]

S. Peter de Jong. The System for Business Automation (SBA): A Unified Application Development System. Information Processing 80, IFIP, October, 1980, pp. 469-474.

[9]

David W, Embley and George Nagy. "Behavioral Aspects of Text Editors." ACM Computing Surveys 13, 1 (March 1981), 33-70.

Digital Library

[10]

Steven Feiner, Sandor Nagy and Andries van Dam. An Integrated System for Creating and Presenting Complex Computer-Based Documents. Computer Graphics, ACM, August, 1981, pp. 181-189.

Digital Library

[11]

J.D. Foley and A. VanDam. Fundamentals of Interactive Computer Graphics. Addison-Wesley, 1982.

Digital Library

[12]

Michael T. Garrett, and James D. Foley. "Graphics Programming Using a Database System with Dependency Declarations." ACM Transactions on Graphics 1, 2 (April 1982), 109-128.

Digital Library

[13]

Adele Goldberg and David Robson. A Metaphor for User Interface Design. Proceedings of 12th Hawaii International Conference on System Sciences, Conference on System Sciences, 1979, pp. 148-157.

[14]

Gordon C. Graham. "Display Station's User Interface Is Designed For Increased Productivity." Hewlett-Packard Journal 32, 3 (March 1981), 8-12.

[15]

Graphics Standards Committee. "Status Report of the Graphics Standards Committee." ACM Computer Graphics 13, 3 (August 1979).

Digital Library

[16]

John V. Guttag, Ellis Horowitz and David R. Musser. The Design of Data Type Specifications. In Current Trends in Programming Methodology, Prentice-Hall, 1978, pp. 60-79.

[17]

John Guttag and J. J. Horning. Formal Specification As a Design Tool. Seventh Annual Symposium on Principles of Programming Language, ACM SIGPLAN/SIGACT, January, 1980, pp. 251-261.

Digital Library

[18]

J.V. Guttag and J. J. Horning. An Introduction to the Larch Shared Language. MIT Laboratory for Computer Science, 1983.

Digital Library

[19]

P.J. Hayes. Cooperative Command Interaction Through the Cousin System. Proceedings of the International Conference on Man/Machine System, University of Manchester Institute of Science and Technology, London, July, 1982.

[20]

VIEW/3000 Reference Manual. 32209-90001 edition, Hewlett-Packard Co., 1979.

[21]

Peter Hibbard. Document Preparation Facilities For Spice. Tech. Rept. Spice Document S143, Carnegie-Mellon University Comp Sci Dept., November, 1982.

[22]

R. S. Hirsch. "Procedures of the Human Factors Center at San Jose." IBM Systems Journal 20, 2 (1981), 123-171.

Digital Library

[23]

C.A.R. Hoare. "Proof of Correctness of Data Representations." Acta Informatica 1, 4 (1972).

Digital Library

[24]

David J. Kasik. "A User Interface Management System." ACM Computer Graphics 16, 3 (July 1982), 99-106.

Digital Library

[25]

B.W. Kernighan. "PIC - A Language for Typesetting Graphics." ACM SIGPLAN Notices 16, 6 (June 1981), 92-98.

Digital Library

[26]

B.W. Lampson, J. J. Horning, R. L. London, J. G. Mitchell and G. J. Popek. "Report on the Programming Language Euclid." ACM SIGPLAN Notices 12, 2 (February 1977).

Digital Library

[27]

Keith A. Lantz and Richard F. Rashid. Virtual Terminal Management in a Multiple Process Environment. Proceedings of the Seventh Symposium on Operating Systems Principles, ACM, December, 1979, pp. 86-95.

Digital Library

[28]

Daniel E. Lipkie, Steven R. Evans, John K, Newlin, and Robert L. Weissman. "Star Graphics: An Object-Oriented Implementation." ACM Computer Graphics 16, 3 (July 1982), 115-124.

Digital Library

[29]

Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Schaffert, and Alan Snyder. CLU Reference Manual. Springer-Verlag, 1981.

Digital Library

[30]

William R. Mallgren. "Formal Specification of Graphic Data Types." ACM Transactions on Programming Languages and Systems 4, 4 (October 1982), 687-710.

Digital Library

[31]

Norman Meyrowitz and Andries van Dam. "Interactive Editing Systems, Parts I and II." Computing Surveys 14, 3 (September 1982), 321-415.

Digital Library

[32]

Brad A. Myers. Displaying Data Structures for Interactive Debugging. Ph.D. Th., MIT, June 1980.

[33]

William M. Newman and Robert F. Sproull. Principles of Interactive Computer Graphics. McGraw-Hill, 1979.

Digital Library

[34]

David L. Parnas. "On the Criteria to be Used in Decomposing Systems into Modules." Communications of the ACM 15, 12 (December 1972).

Digital Library

[35]

Harvey L. Poppel. "Who needs the office of the future?" Harvard Business Journal 60, 6 (November-December 1982), 146-155.

[36]

Brian K. Reid. Scribe: A Document Specification Language and its Compiler. Ph.D. Th., Computer Science Department, Carnegie-Mellon University, October 1980.

Digital Library

[37]

Phyllis Reisner. "Formal Grammar and Human Factors Design of an Interactive Graphics System." IEEE Transactions on Software Engineering SE-7, 2 (March 1981), 229-240.

Digital Library

[38]

G. Robertson, D. McCracken and A. Newell. The ZOG Approach to Man-Machine Communication. Tech. Rept. CMUCS-79-148, Carnegie-Mellon University, October, 1979.

[39]

L.A. Rowe and K. A. Shoens. "Programming Language Constructs for Screen Definition." IEEE Trans. on Software Engineering SE-9, 1 (January 1983), 31-39.

Digital Library

[40]

L.A. Rowe and K. A. Shoens. A Form Application Development System. Manuscript dated December 1981, received by private communication February 1982

[41]

J. Seybold. Xerox's 'Star'. In The Seybold Report, Seybold Publications, Media, Pennsylvania, 1981.

[42]

Mary Shaw. "The Impact of Abstraction Concerns on Modern Programming Languages." Proceedings of the IEEE 68, 9 (September 1980), 1119-1130.

[43]

Mary Shaw (editor). Alphard: Form and Content. Springer-Verlag, 1981.

[44]

Jimmy A. Sutton and Ralph H. Sprague, Jr. A Study of Display Generation and Management in Interactive Business Applications. Tech. Rept. RJ 2392 (#31804), IBM San Jose Research Laboratory, November, 1978.

[45]

W. Teitelman. A Display Oriented Programmer's Assistant. Proceedings 5th International Joint Conference on Artificial Intelligence, 1977, pp. 905-915.

[46]

C.J. Van Wyk. "A High-level Language for Specifying Pictures." ACM Transactions on Graphics 1, 2 (April 1982), 163-182.

Digital Library

[47]

Peter J. L. Wallis. "External Representations of Objects of User-Defined Type." ACM Transactions on Programming Languages and Systems 2, 2 (April 1980), 137-152.

Digital Library

[48]

D. L. Weller, E. D. Carlson, G. M. Giddings, F. P. Palermo, R. Williams and S. N. Zilles. "Software Architecture for Graphical Interaction." IBM Systems Journal 19, 3 (1980), 314-330.

Digital Library

[49]

Peter C. S. Wong and Eric R. Reid. "Flair—User Interface Dialogue Design Tool." ACM Computer Graphics 16, 3 (July 1982), 87-98.

Digital Library

Cited By

Doblander AZoufal ARinner B(2009)A novel software framework for embedded multiprocessor smart camerasACM Transactions on Embedded Computing Systems10.1145/1509288.15092968:3(1-30)Online publication date: 22-Apr-2009
https://dl.acm.org/doi/10.1145/1509288.1509296
Bai LYang LDick R(2009)MEMMUACM Transactions on Embedded Computing Systems10.1145/1509288.15092958:3(1-33)Online publication date: 22-Apr-2009
https://dl.acm.org/doi/10.1145/1509288.1509295
Lysecky RVahid F(2009)Design and implementation of a MicroBlaze-based warp processorACM Transactions on Embedded Computing Systems10.1145/1509288.15092948:3(1-22)Online publication date: 22-Apr-2009
https://dl.acm.org/doi/10.1145/1509288.1509294
Show More Cited By

Index Terms

Descartes: A programming-language approach to interactive display interfaces
1. Human-centered computing
  1. Human computer interaction (HCI)
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Abstract data types

Recommendations

Descartes: A programming-language approach to interactive display interfaces

This paper shows how the principles of programming methodology and language design can help solve the problem of specifying and creating interactive display interfaces for software systems. Abstraction techniques, such as abstract data types, can ...
Real-time extensions to the Descartes software specification language
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs
IWSSD '98: Proceedings of the 9th international workshop on Software specification and design

Most research work in the field of automatic programming has been focused on conceptually complex problems. However, although most of the programs we are generally faced with may be very big and manage large volumes of data, they are conceptually ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

June 1983

230 pages

ISBN:0897911083

DOI:10.1145/800226

ACM SIGPLAN Notices Volume 18, Issue 6
June 1983
219 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/872728
Issue’s Table of Contents

Copyright © 1983 Authors.

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1983

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

VEE05

Sponsor:

SIGPLAN

VEE05: First International Conference on Virtual Execution Environments

June 27 - 29, 1983

California, San Francisco, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

36
Total Citations
View Citations
519
Total Downloads

Downloads (Last 12 months)95
Downloads (Last 6 weeks)19

Reflects downloads up to 13 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Doblander AZoufal ARinner B(2009)A novel software framework for embedded multiprocessor smart camerasACM Transactions on Embedded Computing Systems10.1145/1509288.15092968:3(1-30)Online publication date: 22-Apr-2009
https://dl.acm.org/doi/10.1145/1509288.1509296
Bai LYang LDick R(2009)MEMMUACM Transactions on Embedded Computing Systems10.1145/1509288.15092958:3(1-33)Online publication date: 22-Apr-2009
https://dl.acm.org/doi/10.1145/1509288.1509295
Lysecky RVahid F(2009)Design and implementation of a MicroBlaze-based warp processorACM Transactions on Embedded Computing Systems10.1145/1509288.15092948:3(1-22)Online publication date: 22-Apr-2009
https://dl.acm.org/doi/10.1145/1509288.1509294
Unnikrishnan PChen GKandemir MKarakoy MKolcu I(2009)Reducing memory requirements of resource-constrained applicationsACM Transactions on Embedded Computing Systems10.1145/1509288.15092898:3(1-37)Online publication date: 22-Apr-2009
https://dl.acm.org/doi/10.1145/1509288.1509289
Dewar R(2007)The compiler as a static analysis toolACM SIGAda Ada Letters10.1145/1315607.1315601XXVII:3(83-88)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.1145/1315607.1315601
Nyberg K(2007)Multi-core + multi-tasking = multi-opportunity?ACM SIGAda Ada Letters10.1145/1315607.1315600XXVII:3(79-82)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.1145/1315607.1315600
Lau K(2007)Using SPARK for a beginner's course on reasoning about imperative programsACM SIGAda Ada Letters10.1145/1315607.1315599XXVII:3(75-78)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.1145/1315607.1315599
Lau KWang Z(2007)Verified component-based software in SPARKACM SIGAda Ada Letters10.1145/1315607.1315594XXVII:3(51-58)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.1145/1315607.1315594
Singhoff FPlantec A(2007)AADL modeling and analysis of hierarchical schedulersACM SIGAda Ada Letters10.1145/1315607.1315593XXVII:3(41-50)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.1145/1315607.1315593
Umeda YSasaki T(2006)Computing determinants of rational functionsACM Communications in Computer Algebra10.1145/1151446.115144840:1(2-8)Online publication date: 1-Mar-2006
https://dl.acm.org/doi/10.1145/1151446.1151448
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten