Abstract
This paper describes the application of a definitive (definition-based) programming paradigm to graphics software. The potential merits of using definitive principles for interactive graphics were considered from a theoretical perspective in [Be87]; this paper is complementary, in that it describes the insights gained through practical experience in implementing a prototype system. The main characteristics of the prototype implementation are illustrated by simple examples. Analysis of the abstract machine model underlying this implementation suggests a general purpose programming paradigm based on definitive principles that can be applied to more ambitious applications.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J Amsterdam, Build a spreadsheet program, BYTE July 1986, p97–108
W M Beynon, Definitive notations for interaction, Proc hci’85, CUP 85
W M Beynon, Definitive principles for interactive graphics, Proc NATO ASI: Theoretical Foundations of Computer Graphics and CAD, II Ciocco, July 1987
W M Beynon, D Angier, T Bissell, S Hunt, DoNaLD: a line drawing system based on definitive principles, University of Warwick RR#86, 1986
W M Beynon, The LSD notation for communicating systems, University of Warwick RR#87, 1986
A Borning and R Duisberg, Constraint-based tools for building user interfaces, ACM Transactions on Graphics, Vol 5, No 4, October 1986, 345–374
P ten Hagen, R van Liere, A model for graphical interaction, Proc NATO ASI: Theoretical Foundations of Computer Graphics and CAD, II Ciocco, July 1987
J Foley, C Gibbs, W C Kim, S Kovacevic, Formal specification and transformation of user computer interfaces, Report GWU-IIST-87–10, Dept of Electrical Engineering and Computer Science, George Washington University, 1987
J Foley, Models and tools for the designing of user-computer interfaces, Proc NATO ASI: Theoretical Foundations of Computer Graphics and CAD, II Ciocco, July 1987
J Lansdown, Graphics, Design and Artifical Intelligence, Proc NATO ASI: Theoretical Foundations of Computer Graphics and CAD, II Ciocco, July 1987
C Lewis, Using the No Pump G Prototype, University of Boulder, 1987
G Nelson, Juno, a constraint-based graphics system, SIGGRAPH’85, p235–243
T Takala, C D Woodward, Industrial design based on geometric intentions, Proc NATO ASI: Theoretical Foundations of Computer Graphics and CAD, II Ciocco, July 1987
Y W Yung, EDEN: an evaluatorfor definitive notations, Final Year Project, Dept of Computer Science, University of Warwick, July 1987
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beynon, M., Yung, E. (1988). Implementing a Definitive Notation for Interactive Graphics. In: Magnenat-Thalmann, N., Thalmann, D. (eds) New Trends in Computer Graphics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83492-9_40
Download citation
DOI: https://doi.org/10.1007/978-3-642-83492-9_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-83494-3
Online ISBN: 978-3-642-83492-9
eBook Packages: Springer Book Archive