Refactoring tools for functional languages

DOI10.1017/S0956796813000117MaRDI QIDQ5398335zbMATH OpenOpenAlexFDO

Authors Simon Thompson, Huiqing Li

Publication date 27 February 2014

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796813000117

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Use Cases for Refactoring in Erlang
• Static composition of refactorings
• Sound refactorings
• Refactoring by transformation
• A closer look at software refactoring using symbolic execution

Cites work

• Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
• Fundamental approaches to software engineering. 14th international conference, FASE 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 -- April 3, 2011. Proceedings
• Using CafeOBJ to mechanise refactoring proofs and application

Cited in

(5)

• scientific article; zbMATH DE number 1954121 (Why is no real title available?)
• Improving quality of software analyser and transformer tools using specification based testing
• Use Cases for Refactoring in Erlang
• Static rules of variable scoping in Erlang
• PEQtest: testing functional equivalence

Describes a project that uses

Uses Software

• Wrangler
• HaRe
• Erlang
• Haskell

This page was built for publication: Refactoring tools for functional languages

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