Implementing a data definition facility driven by graph grammars |
| |
| Authors: | PB Barroso AL Furtado |
| |
| Affiliation: | Pontificia Universidade Católica do R.J., Rio de Janeiro, Brasil |
| |
| Abstract: | The implementation of a data definition facility based on graph transformations is discussed. The theory of graph grammars allows a precise characterization of these transformations, facilitating proofs of correctness.The implementation consists of an extension to PL/I, and utilizes the standard PL/I preprocessor. |
| |
| Keywords: | Data structures Data definition Facilities Graph grammars PL/I Program correctness |
| 本文献已被 ScienceDirect 等数据库收录！ |
