A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Clone detection and removal for Erlang/OTP within a refactoring environment
2008
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09
Preserved Fulltext
Acknowledgement The authors would like to thank the UK Engineering and Physical Sciences Research Council for its support for Wrangler (project EP/C524969/1). ...
Our aim is to develop a clone detection and removal tool for a specific language, Erlang/OTP in this case. ...
This paper investigates the application of clone detection and removal techniques to Erlang/OTP programs within the refactoring context, proposes a new hybrid approach to automatically detecting code clones ...
doi:10.1145/1480945.1480971
dblp:conf/pepm/LiT09
fatcat:snah7tuqrrghfmjbtk4snhmozu
Tool support for refactoring functional programs
2003
Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
We present the Haskell Refactorer, HaRe, and the Erlang Refactorer, Wrangler, as examples of fully-functional refactoring tools for functional programming languages. ...
HaRe and Wrangler are designed to handle multi-module projects in complete languages: Haskell 98 and Erlang/OTP. They are embedded in Emacs, (gVim and Eclipse) and respect programmer layout styles. ...
A number of general reflections on the process of building tools for refactoring functional programs can be found in Section 4 of (Li and Thompson 2008a) , of which this position paper is an abbreviated ...
doi:10.1145/871895.871899
dblp:conf/haskell/LiRT03
fatcat:xe637jyuc5dinmltlqdmgit2ji
Tool support for refactoring functional programs
2008
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
We present the Haskell Refactorer, HaRe, and the Erlang Refactorer, Wrangler, as examples of fully-functional refactoring tools for functional programming languages. ...
HaRe and Wrangler are designed to handle multi-module projects in complete languages: Haskell 98 and Erlang/OTP. They are embedded in Emacs, (gVim and Eclipse) and respect programmer layout styles. ...
A number of general reflections on the process of building tools for refactoring functional programs can be found in Section 4 of (Li and Thompson 2008a) , of which this position paper is an abbreviated ...
doi:10.1145/1328408.1328437
dblp:conf/pepm/LiT08
fatcat:rydtrtagkrgh3jtdj3mfuiizhu
Tool support for refactoring functional programs
2008
Proceedings of the 2nd Workshop on Refactoring Tools - WRT '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
We present the Haskell Refactorer, HaRe, and the Erlang Refactorer, Wrangler, as examples of fully-functional refactoring tools for functional programming languages. ...
HaRe and Wrangler are designed to handle multi-module projects in complete languages: Haskell 98 and Erlang/OTP. They are embedded in Emacs, (gVim and Eclipse) and respect programmer layout styles. ...
A number of general reflections on the process of building tools for refactoring functional programs can be found in Section 4 of (Li and Thompson 2008a) , of which this position paper is an abbreviated ...
doi:10.1145/1636642.1636644
dblp:conf/oopsla/LiT08
fatcat:awoedy6z5ndhxf7yz3noxmvzi4
Similar Code Detection and Elimination for Erlang Programs
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
This mechanism is used for detecting code clones in Erlang programs, and is supplemented by a collection of refactorings to support user-controlled automatic clone removal. ...
The similar code detection algorithm and refactorings are integrated within Wrangler, a tool developed at the University of Kent for interactive refactoring of Erlang programs. ...
This research is supported by EU FP7 collaborative project ProTest (http: //www.protest-project.eu/), grant number 215868; we thank our funders and colleagues for their support and collaboration. ...
doi:10.1007/978-3-642-11503-5_10
fatcat:kxekmlyifjdfvnva2hnfkywn4a
The pragmatics of clone detection and elimination
2017
The Art, Science, and Engineering of Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This paper describes industrial case studies of clone detection and elimination using a refactoring and clone detection tool. ...
However, the conclusions we draw are largely language-independent, and set out the pragmatics of clone detection and elimination in real-world projects as well as design principles for clone detection ...
We also wish to acknowledge the support of staff from Ericsson AB in Stockholm and Linköping, in particularly Adam Lindberg, for working with us on the case studies. ...
doi:10.22152/programming-journal.org/2017/1/8
fatcat:3kbjbrsr3fgwxfcj5twnfxknke
Property-Based Testing - The ProTest Project
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. ...
The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. ...
Erlang/OTP has been chosen as the implementation vehicle because of its robustness and reliability within the telecoms sector; witness, for example, its success in the implementation of the AXD301 ATM ...
doi:10.1007/978-3-642-17071-3_13
fatcat:lmmpqlf74ndqfljsqwfj3nrx6y
Semantic patch inference
2012
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Wrangler is a tool for refactoring of Erlang/OTP [4] programs that can additionally perform clone detection. Wrangler detects clones in two steps. 1. ...
Sub-clones are simply subtrees that are embedded in larger subtrees also detected as clones. CloneDR removes all sub-clones during the clone detection process. ...
When loop is done, tu _ merged will contain a set of term replacement patches that are safe for all pairs in the changeset. tu _ lists is empty: If tu _ lists is empty, the changeset CS was also empty ...
doi:10.1145/2351676.2351753
dblp:conf/kbse/AndersenNLLK12
fatcat:4pnomtho6rbhji47sv6u2jhlt4
Network Attack Detection and Defense Early Warning Systems-Challenges and Perspectives (Dagstuhl Seminar 12061) Software Clone Management Towards Industrial Application (Dagstuhl Seminar 12071) Information Visualization, Visual Data Mining and Machine Learning (Dagstuhl Seminar 12081) Principles of Provenance (Dagstuhl Seminar 12091)
2012
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements My thanks to various business groups within TCS and my lab head Mr. Arun Bahulkar for the intense discussions and feedback on the software system's problems. ...
Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'09). 13 Charles Simonyi. ...
If so, a clone refactoring tool could have a default method for removal; the user decides if she wants a clone refactored that way. ...
fatcat:wwwsqzlhend7ne4x3a5grebnbi
1st Workshop on Refactoring Tools (WRT'07)
2020
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
There seems to be a whole class of refactorings that rely on the determination of the minimal protocol, or the maximally general type, of a program element. ...
The reasons for this may vary: decreasing coupling and increasing variability as for GENERALIZE DECLARED TYPE, USE SUPERTYPE WHERE POSSIBLE, INJECT DE-PENDENCY, or INFER TYPE; cleaning up the interface ...
REFERENCES
The Erlang programming language Erlang/OTP [1] is a functional programming language and environment developed by Ericsson, designed for building concurrent and distributed fault-tolerant ...
doi:10.14279/depositonce-10295
fatcat:pla6en343fgzphdylfev6fsqxy
LIPIcs, Volume 32, SNAPL'15, Complete Volume
[article]
2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The Need for Language Support for Fault-Tolerant Distributed Systems Robin Milner, Joachim Parrow, and David Walker
Toward a Dependability Case Language and Workflow for a Radiation Therapy System Acknowledgments ...
Tiark Rompf and Martin Odersky. Lightweight modular staging: A pragmatic approach to runtime code generation and compiled dsls. ...
For example, the Erlang/OTP framework [53] provides fault tolerance using supervision. ...
doi:10.4230/lipics.snapl.2015
fatcat:ljoxwa7wp5achn2tbrmpriez7y