Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories

摘要

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.