Formalizing refactorings with graph transformations (original) (raw)
Related papers
Formalising refactorings with graph transformations
Object-oriented refactoring using graph rewriting
2001
A case study to evaluate the suitability of graph transformation tools for program refactoring
Tom Mens, Javier Perez, Berthold Hoffmann, Yania Crespo
International Journal on …, 2010
On the use of graph transformations for model refactoring
Formalizing architectural refactorings as graph transformation systems
… and Parallel/Distributed Computing, 2005 and …, 2005
Graph transformations for object-oriented refinement
Formal Aspects of Computing, 2009
( ICGT-DS 2010 ) Search-Based Refactoring based on Unfolding of Graph Transformation Systems
2011
Formalising behaviour preserving program transformations
Lecture Notes in Computer Science, 2002
Specifying Coherent Refactoring Software Artefacts with Distributed Graph Transformations
IGI Global eBooks, 2011
Search-Based Refactoring based on Unfolding of Graph Transformation Systems
2015
Search-Based Refactoring using Unfolding of Graph Transformation Systems
Electronic Communication of The European Association of Software Science and Technology, 2011
A case study for program refactoring
2008
Analysing Refactoring Dependencies Using Graph Transformation
Software and Systems Modeling, 2007
A Hierarchical Program Representation for Refactoring
Electronic Notes in Theoretical Computer Science, 2003
Dactl: An Experimental Graph Rewriting Language
John Glauert, Richard Kennaway
Journal of Programming Languages, 1997
Dactl: an experimental graph rewriting
Journal of …, 1997
Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar
IFIP International Federation for Information Processing, 2006
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems
Lecture Notes in Computer Science, 2010
Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution
On “on graph rewritings” theoretical computer science 52 (1987) 37–58
Theoretical Computer Science, 1988
On on graph rewritings: Theoretical Computer Science 52 (1987) 37-58 (corrigendum)
Theoretical Computer Science, 1988
Transformational Design Of Digital systems based on graph rewriting
Object-Oriented Structure Refinement – A Graph Transformational Approach
Electronic Notes in Theoretical Computer Science, 2007
Creating Tools in a Software Environment Based on Graph Rewriting Rules
International Journal of Software Engineering and Knowledge Engineering, 2000
Graph transformation for specification and programming
Science of Computer Programming, 1999
Towards an intermediate language based on Graph Rewriting
Lecture Notes in Computer Science
FOOD: An Intermediate Model for Automated Refactoring
New Trends in Software Methodologies, Tools and Techniques, 2006
Reusable Idioms and Patterns in Graph Transformation Languages
Electronic Notes in Theoretical Computer Science, 2004
Clean—a language for functional graph rewriting
Functional Programming Languages and Computer Architecture, 1987
LEAN: AN INTERMEDIATE LANGUAGE BASED ON GRAPH REWRITING
John Glauert, Henk Barendregt, Marko van Eekelen, Richard Kennaway