Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories (1998)
Cached
Download Links
- [www.cwi.nl]
- [www.swan.ac.uk]
- [www.cs.vu.nl]
- [www.few.vu.nl]
- DBLP
Other Repositories/Bibliography
by
Wan Fokkink
,
Chris Verhoef
| Citations: | 9 - 5 self |
BibTeX
@MISC{Fokkink98conservativeextension,
author = {Wan Fokkink and Chris Verhoef},
title = {Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We transpose a conservative extension theorem from structural operational semantics to conditional term rewriting. The result is useful for the development of software renovation factories, and for modular specification of abstract data types.
