A Domain-Specific Language for Scripting Refactorings in Erlang

Li, Huiqing; Thompson, Simon

doi:10.1007/978-3-642-28872-2_34

Cited by 32 publications

(23 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Specialized refactoring frameworks or DSLs, such as Refacola [27], JunGL [30], and Wrangler [20], also exist. As opposed to Rascal, these systems focus explicitly on refactoring, with features aimed directly at this domain.…”

Section: Discussionmentioning

confidence: 99%

Scripting a refactoring with Rascal and Eclipse

Hills

Klint

Vinju

2012

Proceedings of the Fifth Workshop on Refactoring Tools

View full text Add to dashboard Cite

To facilitate experimentation with creating new, complex refactorings, we want to reuse existing transformation and analysis code as orchestrated parts of a larger refactoring: i.e., to script refactorings. The language we use to perform this scripting must be able to deal with the diversity of languages, tools, analyses, and transformations that arise in practice. To illustrate one solution to this problem, in this paper we describe, in detail, a specific refactoring script for switching from the Visitor design pattern to the Interpreter design pattern. This script, written in the meta-programming language Rascal, and targeting an interpreter written in Java, extracts facts from the interpreter code using the Eclipse JDT, performs the needed analysis in Rascal, and then transforms the interpreter code using a combination of Rascal code and existing JDT refactorings. Using this script we illustrate how a new, real and complex refactoring can be scripted in a few hundred lines of code and within a short timeframe. We believe the key to successfully building such refactorings is the ability to pair existing tools, focused on specific languages, with general-purpose meta-programming languages.

show abstract

Section: Discussionmentioning

confidence: 99%

Scripting a refactoring with Rascal and Eclipse

Hills

Klint

Vinju

2012

Proceedings of the Fifth Workshop on Refactoring Tools

View full text Add to dashboard Cite

show abstract

“…Wrangler [17,18] is an interactive refactoring tool, implemented in Erlang, and is integrated with (X)Emacs and with Eclipse. It is downloadable from https://github.com/RefactoringTools/ Wrangler.…”

Section: Refactoring With Wranglermentioning

confidence: 99%

“…The DSL [18] gives a powerful and easy-to-use framework that allows users to script their own reusable composite refactorings in order to carry out large-scale batch refactorings.…”

Section: Refactoring With Wranglermentioning

confidence: 99%

“…These are defined using a template-and rule-based program transformation and analysis framework built into Wrangler. Wrangler also provides an embedded domain-specific language (DSL) [18] for describing composite refactorings: that is, refactorings that are built up from a number of primitive refactorings. The DSL gives a powerful and easy-to-use framework that allows users to script their own composite refactorings in order to carry out large-scale batch refactorings in an efficient way.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Automating property-based testing of evolving web services

Thompson

Seijas

et al. 2014

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Self Cite

View full text Add to dashboard Cite

Web services are the most widely used service technology that drives the Service-Oriented Computing (SOC) paradigm. As a result, effective testing of web services is getting increasingly important. In this paper, we present a framework and toolset for testing web services and for evolving test code in sync with the evolution of web services. Our approach to testing web services is based on the Erlang [5, 9] programming language and QuviQ QuickCheck, a property-based testing tool written in Erlang, and our support for test code evolution is added to Wrangler, the Erlang refactoring tool.The key components of our system include the automatic generation of initial test code, the inference of web service interface changes between versions, the provision of a number of domain specific refactorings and the automatic generation of refactoring scripts for evolving the test code. Our framework provides users with a powerful and expressive web service testing framework, while minimising users' effort in creating, maintaining and evolving the test model. The framework presented in this paper can be used by both web service providers and consumers, and can be used to test web services written in whatever language; the approach advocated here could also be adopted in other property-based testing frameworks and refactoring tools.

show abstract

“…More generally, there are a wide variety of refactoring tools for other languages. However, unlike HERMIT, most do not support higher-order commands and the scripting of composite refactorings [12]. One exception is Wrangler [13], a refactoring tool for Erlang, which has recently added such support [12].…”

Section: Related Workmentioning

confidence: 99%

The HERMIT in the Tree

Sculthorpe

Farmer

Gill

2013

Implementation and Application of Functional Languages

View full text Add to dashboard Cite

Abstract. This paper describes our experience using the HERMIT toolkit to apply well-known transformations to the internal core language of the Glasgow Haskell Compiler. HERMIT provides several mechanisms to support writing general-purpose transformations: a domain-specific language for strategic programming specialized to GHC's core language, a library of primitive rewrites, and a shell-style-based scripting language for interactive and batch usage. There are many program transformation techniques that have been described in the literature but have not been mechanized and made available inside GHC -either because they are too specialized to include in a general-purpose compiler, or because the developers' interest is in theory rather than implementation. The mechanization process can often reveal pragmatic obstacles that are glossed over in pen-and-paper proofs; understanding and removing these obstacles is our concern. Using HERMIT, we implement eleven examples of three program transformations, report on our experience, and describe improvements made in the process.

show abstract

A Domain-Specific Language for Scripting Refactorings in Erlang

Cited by 32 publications

References 11 publications

Scripting a refactoring with Rascal and Eclipse

Scripting a refactoring with Rascal and Eclipse

Automating property-based testing of evolving web services

The HERMIT in the Tree

Contact Info

Product

Resources

About