@inproceedings{54cb7aa0fa9b4f718f5fb306e9c82ec4,
title = "Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories",
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.",
author = "Wan Fokkink and Chris Verhoef",
year = "1999",
month = jan,
day = "1",
language = "English",
isbn = "3540657185",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer - Verlag",
pages = "98--114",
editor = "Jean-Pierre Finance",
booktitle = "Fundamental Approaches to Software Engineering - 2nd Intrnational Conference, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings",
note = "2nd International Conference on Fundamental Approaches to Software Engineering, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999 ; Conference date: 22-03-1999 Through 28-03-1999",
}