Suchergebnisse - Program transformation, Java

An automated refactoring approach to design pattern-based program transformations in Java programs von 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 …”
Volltext

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation von 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 …”
Volltext

Certifying a java type resolution function using program transformation, annotation, and reflection von 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 …”
Volltext

Reflection of Librarians in East Java Province on the Phenomenon of the Transformation Program of Social Inclusion Based Library von 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 …”
Volltext

Transformation of human capital among beneficaries of Program Keluarga Harapan (PKH) in Eastern Java von 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 …”
Volltext

Analysis of risks and challenges to demographic bonuses in sustainable development programs through population policy transformation (case study in Central Java Province) von 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 …”
Volltext

Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System von 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 …”
Volltext

Institutional transformation of the food security agency: perspectives on the management of Toko Tani Indonesia program in Central Java von 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 …”
Volltext

Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function von 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 …”
Volltext

A journey among Java neutral program variants von 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 …”
Volltext

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

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

Data Augmentation by Program Transformation von 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 …”
Volltext

Reconciling the past and the present: An empirical study on the application of source code transformations to automatically rejuvenate Java programs von 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 …”
Volltext

On the generalizability of Neural Program Models with respect to semantic-preserving program transformations von 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 …”
Volltext

SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings von 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 …”
Volltext

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

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

Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings von 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 …”
Volltext

Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders von 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 …”
Volltext

Portable and accurate sampling profiling for Java von Binder, Walter

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

Verification of Java Bytecode using Analysis and Transformation of Logic Programs von 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 …”
Volltext