Output details
11 - Computer Science and Informatics
University of York
Article title
Sound refactorings
Type
D - Journal article
Title of journal
Science of Computer Programming
Article number
-
Volume number
75
Issue number
3
First page of article
106
ISSN of journal
0167-6423
Year of publication
2010
Number of additional authors
2
Additional information
<07>Originality: This paper formalises refactorings of object-oriented programs as transformation rules; it is the only account of refactorings as refinements in the literature. The language considered caters for main-stream challenging constructs like inheritance, recursive classes, dynamic binding, visibility, and type tests and casts. Rigour: Soundness is addressed by proof in terms of an algebraic semantics and a data refinement theory. Significance: This work follows from a project that was jointly supported by a Brazilian Research Agency and the American NSF as part of a collaborative programme; in its final evaluation, the project was given the highest commendation: merit of honour.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - High Integrity Systems Engineering
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
