Refactoring of Programs and Specifications - SE@RWTH
Recommend Documents
the integration of refactoring into the software development process E x treme. P rogramming [B 1999] . In fact, F owler himself contributes much of the ideas.
project models in Alloy [13], a formal object-oriented modeling language. 1 We would like ... be published in. Electronic Notes in Theoretical Computer Science ... signatures. A signature paragraph introduces a basic type â if it does not extend.
refactoring object-oriented programs and sorae very good tools for refactoring ...
The C programming language, especially the preprocessor directives that ...
s6 return x;. } me7 public int .... defined point in the execution of a program, such as a call to a method, an ..... Conference on Object-Oriented Programming,.
We describe refactoring for Erlang programs, and work in progress to build two ....
an abstract syntax tree (AST) or database table; then analyse the program to ...
Urbana, IL 61801. 1-217-333-5219 ... Our research group at the University of Illinois at Urbana- ...... Addison-Wesley, Reading, Massachusetts, 1994, p. 424.
Sep 9, 2009 - software tool that tidies Erlang source code, making it cleaner, sim- pler, and ..... In order to perform this refactoring, tidier locates all fun expres- ...... of many languages or automatically cleanup and/or validate HTML pages.
refactoring in functional languages, using Haskell as the medium, and introducing the HaRe tool ... The Refactoring Functional Programs2 [LRT03] project at the University of Kent is ..... type is a collection of functions. Discrimination between ...
Tom Schrijversâ1 and Alexander Serebrenikââ2. 1 Department of Computer ... Heverlee, Belgium. E-mail: Tom. ..... Addison-Wesley, 1990. 4. S. Etalle, M.
classical example of this, of course, is that in a functional language it is always ...... tional programming languages
refactoring techniques to functional programs, and building tools for supporting interactive ..... Module:Fun(Arg1, Arg2,..., ArgN) when the number of elements in ...
A Collection of Refactoring Specifications for Fortran 95. Jeffrey L. Overbey, Matthew J. Fotzler, Ashley J. Kasza, and Ralph E. Johnson. Department of Computer ...
Jun 10, 2006 - Addison-Wesley, January 1998. [25] Frank Tip. A survey of program ... [26] Lance Tokuda and Don Batory. Evolving object-oriented designs.
Jun 16, 2004 - its ideas have not been applied to Logic Programming until now. ..... partment is facing as a part of the unified Bachelor-Master system in ...
classical example of this, of course, is that in a functional language it is always ...... tional programming languages
in the subject of computer science for the degree of doctor of philosophy. By ... 1.2.2 The Refactoring Functional Programs Project . . . . . . . 11. 1.3 Refactoring ...... Haskell is the result of many years of research into lazy functional language
Jan 7, 2008 - Keywords Haskell, Erlang, refactoring, HaRe, Wrangler, program analysis .... gler, the user takes the responsibility to customise the refactorer.
the programmer to extend the tool with new refactoring op- erations. Pattern
languages ... The pattern language is used to define refactor- ing operations that
can ...
advent of agile methodologies, most notably extreme programming (XP) (Beck, 2000). Refactoring is one ..... error: get(java.io.PrintStream *) && within(Capsule):.
Bundy and collaborators [Bundy et al. 90] in their Oyster system synthesize programs in first-order logic from non-executable specifications in typed constructive ...
Lecture 5 – Design, Refactoring, Smells, ..... Refactoring, “Improving the design of
existing code”. .... http://industriallogic.com/papers/smellstorefactorings.pdf. 73 ...
The Haskell Refactorer, HaRe is the result of the combined effort of the. Refactoring ... Stephen Chang, David Van Horn, and Matthias Felleisen. PLT & PRL ...
Our paper centres on the case study of refactoring a 400 line Haskell .... student assessment written in Haskell. 3. ..... [8] William G. Griswold and David Notkin.
We present Relocker, an automated tool that assists program- mers with refactoring ...... We consulted the hsqldb developers by email about this issue, and they ...
Refactoring of Programs and Specifications - SE@RWTH
In: Practical foundations of business and system specifications. H.Kilov and ... article, we first look at the basic principles of refactoring (S ection 2) and give an outline of ... without changing the observable behavior of the software. F owler ...