[Lecture Notes in Computer Science] Graph Transformations in Computer Science Volume 776 || Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
Schneider, Hans Jürgen; Ehrig, Hartmut
- 作者Schneider, Hans Jürgen; Ehrig, Hartmut
- 文件大小1019.85KB
- 发表时间1994
- DOI10.1007/3-540-57787-4_23
- 页码358-379