Search Results - Program transformation, Java

An automated refactoring approach to design pattern-based program transformations in Java programs by Sang-Uk Jeon, Joon-Sang Lee, Doo-Hwan Bae

“… In this paper, we propose an automated approach to refactoring based on design patterns in Java programs…”
Get full text

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation by Zhang, Yang, Shao, Shuai, Liu, Huan, Qiu, Jing, Zhang, Dongwen, Zhang, Guanghua

“…Developers of parallel programming are faced with choices of using various Java locks…”
Get full text

Certifying a java type resolution function using program transformation, annotation, and reflection by Winter, Victor, Reinke, Carl, Guerrero, Jonathan

“… The approach uses program transformation to instrument a subject code base in such a way that reflection can then be used to certify the correctness of the type resolution function against the function used by the Java compiler. In this form of certification, the type resolution function of the Java compiler serves as the test oracle…”
Get full text

Reflection of Librarians in East Java Province on the Phenomenon of the Transformation Program of Social Inclusion Based Library by Safira, Fidan, Laksmi, Laksmi

“…Background of the study: The reflection of librarians is the efforts of librarians in understanding their actions. Librarian's reflection is one of the effort…”
Get full text

Transformation of human capital among beneficaries of Program Keluarga Harapan (PKH) in Eastern Java by Anisah, Ajeng Mega, Nurhadi, Nurhadi, Yuhastina, Yuhastina

“…This research aimed to examine human capital change in beneficiary families of the Family Hope Program (PKH) in Sine, Ngawi…”
Get full text

Analysis of risks and challenges to demographic bonuses in sustainable development programs through population policy transformation (case study in Central Java Province) by Setyoningrum, D U, Warella, Y, Yuningsih, T

“… It is a problem because the increase in population is not matched by additional land. The government already has a population control program, as stipulated in the Family Planning Program (KB…”
Get full text

Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System by Winter, V. L., Guerrero, J., James, A., Reinke, C.

“… Program transformation languages provide traversal and matching capabilities that are aligned with the core functionality of rule-based systems…”
Get full text

Institutional transformation of the food security agency: perspectives on the management of Toko Tani Indonesia program in Central Java by Sutrisno, J, Marwanti, S, Ulfa, A N, Nurhidayati, I, Putri, H A

“…) program which plays a role in summarizing the supply chain. This study aims to analyze the evaluation of implementation, as well as responses to institutional changes in the sustainability of TTI…”
Get full text

Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function by Winter, Victor L., Reinke, Carl, Guerrero, Jonathan

“… The approach uses program transformation to instrument a subject code base in such a way that reflection can then be used to certify the correctness of the type resolution function against the function used by the Java compiler. In this form of certification, the type resolution function of the Java compiler serves as the test oracle…”
Get full text

A journey among Java neutral program variants by Harrand, Nicolas, Allier, Simon, Rodriguez-Cancio, Marcelino, Monperrus, Martin, Baudry, Benoit

“… Our empirical study relies on automatic variations of 6 real-world Java programs. First, we transform these programs with three state-of-the-art program transformations…”
Get full text

Composing transformations of compiled Java programs with Jabyce by Lenglet, Romain, Coupaye, Thierry, Bruneton, Eric

“…This article introduces Jabyce, a software framework for the implementation and composition of transformations of compiled Java programs…”
Get full text

Data Augmentation by Program Transformation by Yu, Shiwen, Wang, Ting, Wang, Ji

“… In this paper, we propose a general data augmentation method based on program transformation. The idea is to extend big code datasets by a set of source-to-source…”
Get full text

Reconciling the past and the present: An empirical study on the application of source code transformations to automatically rejuvenate Java programs by Dantas, Reno, Carvalho, Antonio, Marcilio, Diego, Fantin, Luisa, Silva, Uriel, Lucas, Walter, Bonifacio, Rodrigo

“… In this paper we present a RASCAL Java transformation library that evolves legacy systems to use more recent programming language constructs…”
Get full text

On the generalizability of Neural Program Models with respect to semantic-preserving program transformations by Rabin, Md Rafiqul Islam, Bui, Nghi D.Q., Wang, Ke, Yu, Yijun, Jiang, Lingxiao, Alipour, Mohammad Amin

“…-preserving transformations: a generalizable neural program model should perform equally well on programs…”
Get full text

SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings by Marcilio, Diego, Furia, Carlo A., Bonifácio, Rodrigo, Pinto, Gustavo

“…Static code analysis tools such as FindBugs and SonarQube are widely used on open-source and industrial projects to detect a variety of issues that may…”
Get full text

DBridge: A program rewrite tool for set-oriented query execution by Chavan, M, Guravannavar, R, Ramachandra, K, Sudarshan, S

“…We present DBridge, a novel static analysis and program transformation tool to optimize database access…”
Get full text

Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings by Marcilio, Diego, Furia, Carlo A., Bonifacio, Rodrigo, Pinto, Gustavo

“…Static code analysis tools such as FindBugs and SonarQube are widely used on open-source and industrial projects to detect a variety of issues that may…”
Get full text

Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders by Bodden, Eric, Sewe, Andreas, Sinschek, Jan, Oueslati, Hela, Mezini, Mira

“…Static program analyses and transformations for Java face many problems when analyzing programs that use reflection or custom class loaders…”
Get full text

Portable and accurate sampling profiling for Java by Binder, Walter

“…This article presents a novel framework for the sampling‐based profiling of Java programs, which relies on program transformation techniques…”
Get full text

Verification of Java Bytecode using Analysis and Transformation of Logic Programs by Albert, Elvira, Gómez-Zamalloa, Miguel, Laurent, Hubert, Puebla, German

“… The aim of this work is to automatically transfer the power of such analysis tools for LP to the analysis and verification of Java bytecode (JVML…”
Get full text