Filters








11 Hits in 4.7 sec

Clone detection and removal for Erlang/OTP within a refactoring environment

Huiqing Li, Simon Thompson
2008 Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09  
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

Huiqing Li, Claus Reinke, Simon Thompson
2003 Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '03  
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

Huiqing Li, Simon Thompson
2008 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08  
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

Huiqing Li, Simon Thompson
2008 Proceedings of the 2nd Workshop on Refactoring Tools - WRT '08  
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]

Huiqing Li, Simon Thompson
2010 Lecture Notes in Computer Science  
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

Simon Thompson, Huiqing Li, Andreas Schumacher
2017 The Art, Science, and Engineering of Programming  
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]

John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Ake Fredlund, Victor Gulias, John Hughes, Simon Thompson
2010 Lecture Notes in Computer Science  
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

Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012  
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)

Georg Carle, Hervé Debar, Falko Dressler, Hartmut König, Rainer Koschke, Ira Baxter, Michael Conradt, James Cordy, Daniel Keim, Fabrice Rossi, Thomas Seidl, Michel Verleysen (+5 others)
2012 unpublished
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)

(:Unkn) Unknown, Technische Universität Berlin, Technische Universität Berlin, Danny Dig, Michael Cebulla
2020
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]

Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett
2015
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