Abstract
Data generality is the property through which program modules are able to communicate via arbitrary data structures. Since the design of module interfaces is a very difficult and error prone activity in systems design, the implementation of data generality is a very desirable goal in programming. The present work describes one approach to the implementation of data generality and sketches the algorithm for its implementation.
This research was partially supported by the Brazilian Government Agency FINEP under contract n O· 244/CT.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dennis, J.B., ‘Modularity’; in Bauer, F.L. ed; Springer Verlag; 1973
Parnas, D.F., ‘Information Distribution Aspects of Design Methodology’; IFIP Congress Proceedings; 1971
Parnas, D.F.; ‘A Technique for Software Module Specification with Examples’; Communications of the ACM Vol. 15, n9 5; May 1972
Mc Keeman, W.; ‘Compiler Structure’; Proceedings of the First USA - Japan Computer Conference; 1972
Staa, A.v.; Data Transmission and Modularity Aspects of Programming Languages; Research Report CS-74–17, Department of Computer Science, Univ. of Waterloo; 1974
Lucena, C.J.; On the Synthesis of Reliable Programs; Technical Report, Computer Science Department, Univ. of California, Los Angeles; 1975
Liskov, B.H.; Zilles, S.N.; ‘Specification Techniques for Data Abstractions’; IEEE Transactions on Software Engineering, Vol. 1, no 1; 1975
Hoare, C.A.R.; ‘Proof of Correction of Data Representations’ Acta Informatica Vol. 1, fasc 4; 1972
Liskov, B.H.; Zilles, S.N.; ‘Programming with Abstract Data Types’; SIGPLAN Notices Vol. 9; 1972
Brown, W.S.; ALTRAN User’s Manual; Bell Telephone Labs., Murray Hill, N.J.; 1973
Ingerman, P.Z.; ‘TRUNKS a Way of Compiling Procedure Statements with Some Comments on Procedure Declarations’; Comunications of the ACM Vol. 4, no 4; April 1961
Bauer, F.L. ed; Advanced course on Software Engineering; Series: Lecture Notes in Economics and Mathematical Systems no 81, Springer Verlag; 1973
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
von Staa, A., Lucena, C.J. (1976). On the Implementation of Data Generality. In: Schneider, HJ., Nagl, M. (eds) Programmiersprachen. Informatik-Fachberichte, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66319-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-66319-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07619-3
Online ISBN: 978-3-642-66319-2
eBook Packages: Springer Book Archive