Formalising behaviour preserving program transformations

DOI10.1007/3-540-45832-8_22MaRDI QIDQ4438789zbMATH OpenFDO

Authors Tom Mens, Serge Demeyer, Dirk Janssens

Publication date 10 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2505/25050286.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Graph Transformations
• Sound refactorings
• Refactoring by transformation
• Refactoring Object-Oriented Specifications with Data and Processes
• Graph transformations for object-oriented refinement

Cited in

(19)

• Graph transformations for object-oriented refinement
• Sound refactorings
• Refactoring by transformation
• Refactoring towards a layered architecture
• \textsc{Polar}: a framework for proof refactoring
• A static semantics for Alloy and its impact in refactorings
• Synchronizing model and program refactoring
• Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
• Adaptive Star Grammars for Graph Models
• Refactoring and representation independence for class hierarchies
• LP-structures analysis: substantiation of refactoring in object-oriented programming
• Graph Transformations
• A closer look at software refactoring using symbolic execution
• Refactoring boundary
• Refactoring Object-Oriented Specifications with Data and Processes
• Towards a Generic Framework for Trustworthy Program Refactoring
• Evolving object-oriented designs with refactorings
• Attributed graph transformation with node type inheritance
• Adaptive star grammars and their languages

This page was built for publication: Formalising behaviour preserving program transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4438789)