Specification of data restructuring software based on the attribute method
From MaRDI portal
Publication:3216124
DOI10.1007/BF00985822zbMath0553.68017WikidataQ111899590 ScholiaQ111899590MaRDI QIDQ3216124
Publication date: 1984
Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)
attribute grammars; data structure; abstract software specification; data base restructuring software
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A seven-tuple representation for hierarchical data structures
- Specification of a query language by the attribute method
- A straightforward formalization of the relational model
- Formalization in program development
- A practical example of the specification of abstract data types
- Formal restructuring functions for hierarchical data bases
- CONVERT
- Semantics of context-free languages