Abstract
The importance of abstract types is stressed. A number of languages which provide abstract data type facilities are identified and Modula and Ada are examined in more detail. Industrial Real Time Basic is described together with two radically different approaches which could be used to implement abstract data types within the language.
Preview
Unable to display preview. Download preview PDF.
References
Guttag J V, Horowitz E, and Musser D R Abstract data types and software validation CACM Vol 21 No 12 December 1978
Mitchell R J Program design — a practical approach In E Knuth and E J Neuhold (Eds) Specification and Design of Software Systems Lecture notes in Computer Science, No 152 Springer Verlag 1983
Welsh J and Mckeag M Structured system programming Prentice Hall (324 pages) 1980
Formal Definition of the Ada programming language U S Department of Defense 1982
Bull G M and Garland S J Specification for Dartmouth Basic Version 7 TM112 Dartmouth College 1980
Liskov B H, Snyder A, Atkinson R and Schaffert C Abstraction Mechanisms in CLU CACM Vol 20 No 8 August 1977.
Wirth N Modula: a language for modular multiprogramming Software Practice and Experience Vol 7 P3–35, 1977
Kolstad R B and Campbell R H Path Pascal user manual Sigplan Notices Vol 15 No 9 September 1980
Hoare C A R Monitors — an operating system structuring concept CACM Vol 17 No 10 October 1974
Bull G M and Lewis A Industrial Real Time Basic Software Practice and Experience Vol 13, p 1075–1092, 1983
American National Standards Institute Draft Standard for Basic X3J2/82-17, October 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Bull, G.M. (1985). Abstract data types in industrial real time basic. In: Schmidt, G., Singh, M., Titli, A., Tzafestas, S. (eds) Real Time Control of Large Scale Systems. Lecture Notes in Control and Information Sciences, vol 67. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0008325
Download citation
DOI: https://doi.org/10.1007/BFb0008325
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15033-6
Online ISBN: 978-3-540-39219-4
eBook Packages: Springer Book Archive