Conventional and uniqueness typing in graph rewrite systems
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Guaranteeing safe destructive updates through a type system with uniqueness information for graphsPublished by Springer Nature ,1994
- Concurrent cleanPublished by Springer Nature ,1991
- Towards an intermediate language based on Graph RewritingPublished by Springer Nature ,1987
- Term graph rewritingPublished by Springer Nature ,1987