Summary
In the mathematical framework of data spaces the paper develops some important general principles of information structuring. These principles are related to the notions of redundancy of information, completeness of a set of access paths, information sharing and compounding, and virtual access to information. The results are relevant to both sequential and concurrent processing.
Similar content being viewed by others
References
Cremers, A., Hibbard, T.N.: The semantic definition of programming languages in terms of their data spaces. In: Programmiersprachen, Informatik-Fachberichte, Vol. 1. Berlin-Heidelberg-New York: Springer 1976
Cremers, A., Hibbard, T.N.: On the relationship between a procedure and its data. In: Mathematical foundations of computer science. Lecture notes in computer science, Vol. 45. Berlin-Heidelberg-New York: Springer 1976
Dahl, O.-J., Nygaard, K.: SIMULA-An ALGOL-based simulation language. Comm. ACM 6, 671–678 (1966)
Date, C.J.: An introduction to database systems. Reading, Mass.: Addison-Wesley 1975
Dijkstra, E.W.: Notes on structured programming. In: Structured programming. New York, N.Y.: Academic Press 1972
Dijkstra, E.W.: A discipline of programming. Englewood Cliffs, N.J.: Prentice-Hall 1976
Horning, J.J., Randell, B.: Process structuring. Comput. Surveys 5, 5–30 (1973)
Maurer, W.D.: A theory of computer instructions. J. Assoc. Comput. Mach. 13, 226–235 (1966)
Parnas, D.L.: A technique for software module specification with examples. Comm. ACM 15, 330–336 (1972)
Scott, D., Strachey, C.: Toward a mathematical semantics for computer languages. Proc. Symp. Comp. Autom. In: MRI Symp. Ser., Vol.21. Brooklyn, N.Y.: Polytechnic Institute 1972
Wagner, E.G.: Bounded action machines: Toward an abstract theory of computer structure. J. Comp. System Sci. 2, 13–75 (1968)
Wegner, P.: Data structure models for programming languages. SIGPLAN Notices 6, (1971)
Author information
Authors and Affiliations
Additional information
This research is supported in part by the Office of Naval Research under Contract No. N00014-77-C-0536 through the University of Southern California
Rights and permissions
About this article
Cite this article
Cremers, A.B., Hibbard, T.N. Orthogonality of information structures. Acta Informatica 9, 243–261 (1978). https://doi.org/10.1007/BF00288884
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00288884