scispace - formally typeset
Search or ask a question

Showing papers on "Source transformation published in 2013"


Proceedings ArticleDOI
22 Sep 2013
TL;DR: In this demonstration a guide of these features is provided along with the use of XPath for constructing source-code queries and XSLT for conducting simple transformations.
Abstract: SrcML is an XML representation for C/C++/Java source code that forms a platform for the efficient exploration, analysis, and manipulation of large software projects. The lightweight format allows for round-trip transformation from source to srcML and back to source with no loss of information or formatting. The srcML toolkit consists of the src2srcml tool for robust translation to the srcML format and the srcml2src tool for querying via XPath, and transformation via XSLT. In this demonstration a guide of these features is provided along with the use of XPath for constructing source-code queries and XSLT for conducting simple transformations.

101 citations


Proceedings Article
18 Nov 2013
TL;DR: The results show that it is able to successfully detect and add the missing condition check or correct it after a method call in the program, and that the detection and error fixing technique is quite accurate in practice.
Abstract: We present a methodology and a prototype of a source-to-source transformation tool for error fixing in C/C++ program source code for missing condition checks after a method call. The missing condition checks in a C program could lead to a program crash. This tool can be extended for other programming languages in addition to C/C++. The developed tool includes the ability to generate and apply a fix for a source code without human intervention. The tool can be run on different platforms, including MS Windows, Linux, MAC OS and other operating systems. We evaluate our technique by applying it to five widely used open source programs. Our results show that it is able to successfully detect and add the missing condition check or correct it after a method call in the program, and that our detection and error fixing technique is quite accurate in practice.

8 citations


Book ChapterDOI
18 Sep 2013
TL;DR: The proposed approach uses source-to-source transformation to convert programs written under different CHR operational semantics into equivalent programs in the CHR refined operational semantics without the need to change the compiler or the runtime system.
Abstract: Constraint Handling Rules (CHR) is a high-level committed-choice language based on multi-headed and guarded rules. Over the past decades, several extensions to CHR and variants of operational semantics were introduced. In this paper, we present a generic approach to simulate the execution of a set of different CHR operational semantics. The proposed approach uses source-to-source transformation to convert programs written under different CHR operational semantics into equivalent programs in the CHR refined operational semantics without the need to change the compiler or the runtime system.

3 citations


Patent
12 Jun 2013
TL;DR: In this article, a scale absorption device used in water treatment is described, which is suitable for different requirements, and has the advantages of being simple in structure and low in damage.
Abstract: The invention discloses a scale absorption device used in water treatment. The scale absorption device comprises a master control unit, a power source transformation circuit, a signal generation circuit, a current-limiting circuit and an output circuit, wherein the power source transformation circuit, the signal generation circuit and the current-limiting circuit are connected with the master control unit; the output circuit is connected with the signal generation circuit; the power source transformation circuit is connected with the output circuit through the current-limiting circuit; and the power source transformation circuit comprises multi-gear voltage output. With the adoption of the scale absorption device used in the water treatment, after the master control unit is adopted, the operation is intelligentialized, and the controlled switch devices are not easy to damage; and meanwhile, the power source transformation circuit with the multi-gear voltage output is adopted, so that the output voltage change range is enabled to be large, and the scale absorption device used in the water treatment is suitable for different requirements, and has the advantages of being simple in structure and low in damage.

1 citations