Static composition of refactorings
type: Item
instance of: scholarly article
title: Static composition of refactorings
zbMATH Open document ID: 1091.68031
author: Günter Kniesel
author: Helge Koch
published in: Science of Computer Programming
publication date: 2004-11-22T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 2117334
zbMATH Keywords: Refactoring
zbMATH Keywords: Conditional program transformation
zbMATH Keywords: OR-sequence
zbMATH Keywords: AND-sequence
zbMATH Keywords: Composition
zbMATH Keywords: Derivation of precondition
zbMATH Keywords: Transformation description
MaRDI profile type: Publication
full work available at URL: j.scico.2004.03.002
OpenAlex ID: W2045765932
DOI: 10.1016/J.SCICO.2004.03.002
Recommended article: A static semantics for Alloy and its impact in refactorings
Recommended article: Q4738435
Recommended article: Refactoring by transformation
Recommended article: Q5112861
Recommended article: Refactoring and representation independence for class hierarchies
description: scientific article; zbMATH DE number 2117334