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
CountryNetherlands
CityAmsterdam
Period22/03/9928/03/99

Fingerprint

Structural Operational Semantics
Abstract data types
Abstract Data Types
Term Rewriting
Extension Theorem
Transpose
Industrial plants
Semantics
Specification
Specifications
Software

Cite this

Fokkink, W., & Verhoef, C. (1999). Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories. In J-P. Finance (Ed.), 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 (pp. 98-114). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1577). Springer - Verlag.
Fokkink, Wan ; Verhoef, Chris. / Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories. 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. editor / Jean-Pierre Finance. Springer - Verlag, 1999. pp. 98-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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 = "1",
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",

}

Fokkink, W & Verhoef, C 1999, Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories. in J-P Finance (ed.), 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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1577, Springer - Verlag, pp. 98-114, 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, Amsterdam, Netherlands, 22/03/99.

Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories. / Fokkink, Wan; Verhoef, Chris.

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. ed. / Jean-Pierre Finance. Springer - Verlag, 1999. p. 98-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1577).

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

TY - GEN

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

AU - Fokkink, Wan

AU - Verhoef, Chris

PY - 1999/1/1

Y1 - 1999/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84947938608&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84947938608&partnerID=8YFLogxK

M3 - Conference contribution

SN - 3540657185

SN - 9783540657187

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 98

EP - 114

BT - 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

A2 - Finance, Jean-Pierre

PB - Springer - Verlag

ER -

Fokkink W, Verhoef C. Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories. In Finance J-P, editor, 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. Springer - Verlag. 1999. p. 98-114. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).