Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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.

Original languageEnglish
Title of host publicationFundamental 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
EditorsJean-Pierre Finance
PublisherSpringer - Verlag
Pages98-114
Number of pages17
ISBN (Print)3540657185, 9783540657187
Publication statusPublished - 1 Jan 1999
Event2nd 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 - Amsterdam, Netherlands
Duration: 22 Mar 199928 Mar 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1577
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd 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
Country/TerritoryNetherlands
CityAmsterdam
Period22/03/9928/03/99

Fingerprint

Dive into the research topics of 'Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories'. Together they form a unique fingerprint.

Cite this