Data structures and graph grammars
This paper is concerned with a formal model for data structure definition: data graph grammars (DGG's).
The model is claimed to give a rigorous documentation of data structures and to suit very properly program design via stepwise refinement.
Moreover it is possible to verify data structure correctness, with regard to their formal definition.
Last, attribute context-free data graph grammars (A-CF-DGG's) are intro duced. A-CF-DGG's not only give a complete and clean description of da ta structures and algorithms running along data structures, but also can support an automatic synthesis of such algorithms.
Key Words and PhrasesData structure abstraction stepwise refinement software reliability correctness program synthesis context-free grammars attribute grammars parsing
- /1/.Liskov, B. "An introduction to CLU", Computation Structures Group Memo 136, MIT Project MAC, 1976.Google Scholar
- /2/.Dahl, O.J., Dijkstra, E.W., Hoare C.A.R. "Structured programming" Academic Press New York, 1972.Google Scholar
- /3/.Parnas, D.L. "On the criterion used in decomposing systems into modules", CACM 15, 12, 1053–58, 1972.Google Scholar
- /4/.Earley, J. "Toward an understanding of data structures", CACM 14, 617–626, 1971.Google Scholar
- /5/.Shneiderman, B., Scheuermann, P. "Structured data structures", CACM 17, 10, 583–587, 1974.Google Scholar
- /7/.Pfaltz, J.L., Rosenfeld, A., —"Web grammars" Proc. 1st Intl. Joint Conference on Artificial Intelligence, Washington, 609–19, 1969.Google Scholar
- /10/.Milgram D.I. "Web automata", University of Maryland, Computer Science Center Technical rep. 271, 1973.Google Scholar
- /11/.Della Vigna, P., Ghezzi, C. "Context-free graph grammars", Internal rep. 76-1, Istituto di Elettrotecnica ed Elettronica, Politecnico di Milano, IEEPM, 1976.Google Scholar
- /12/.Pratt, T.W. "Pair grammars, graph languages and string to graph translations", JCSS 5, 560–595, 1971.Google Scholar
- /14/.Bochmann, G.V. "Semantic evaluated from left to right", CACM 2, 19, 55–63, 1976Google Scholar