Výsledky vyhledávání - Program transformation, Java
-
1
An automated refactoring approach to design pattern-based program transformations in Java programs
ISBN: 0769518508, 9780769518503ISSN: 1530-1362Vydáno: IEEE 2002Vydáno v Ninth Asia-Pacific Software Engineering Conference, 2002 (2002)“… In this paper, we propose an automated approach to refactoring based on design patterns in Java programs…”
Získat plný text
Konferenční příspěvek -
2
Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation
ISSN: 2169-3536, 2169-3536Vydáno: Piscataway IEEE 2019Vydáno v IEEE access (2019)“…Developers of parallel programming are faced with choices of using various Java locks…”
Získat plný text
Journal Article -
3
Certifying a java type resolution function using program transformation, annotation, and reflection
ISSN: 0963-9314, 1573-1367Vydáno: New York Springer US 01.03.2016Vydáno v Software quality journal (01.03.2016)“… 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…”
Získat plný text
Journal Article -
4
Reflection of Librarians in East Java Province on the Phenomenon of the Transformation Program of Social Inclusion Based Library
ISSN: 2442-5168, 2442-5168Vydáno: Universitas Airlangga 29.06.2021Vydáno v Record and Library Journal (Online) (29.06.2021)“…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…”
Získat plný text
Journal Article -
5
Transformation of human capital among beneficaries of Program Keluarga Harapan (PKH) in Eastern Java
ISSN: 2356-1807, 2460-7916Vydáno: 20.02.2023Vydáno v Harmoni Sosial (Yogyakarta) (20.02.2023)“…This research aimed to examine human capital change in beneficiary families of the Family Hope Program (PKH) in Sine, Ngawi…”
Získat plný text
Journal Article -
6
Analysis of risks and challenges to demographic bonuses in sustainable development programs through population policy transformation (case study in Central Java Province)
ISSN: 1755-1307, 1755-1315Vydáno: IOP Publishing 01.01.2021Vydáno v IOP conference series. Earth and environmental science (01.01.2021)“… 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…”
Získat plný text
Journal Article -
7
Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System
ISBN: 9781467347426, 1467347426ISSN: 1530-2059Vydáno: IEEE 01.10.2012Vydáno v 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (01.10.2012)“… Program transformation languages provide traversal and matching capabilities that are aligned with the core functionality of rule-based systems…”
Získat plný text
Konferenční příspěvek -
8
Institutional transformation of the food security agency: perspectives on the management of Toko Tani Indonesia program in Central Java
ISSN: 1755-1307, 1755-1315Vydáno: Bristol IOP Publishing 01.06.2023Vydáno v IOP conference series. Earth and environmental science (01.06.2023)“…) 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…”
Získat plný text
Journal Article -
9
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function
ISSN: 1530-2059Vydáno: IEEE 01.01.2014Vydáno v 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (01.01.2014)“… 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…”
Získat plný text
Konferenční příspěvek -
10
A journey among Java neutral program variants
ISSN: 1389-2576, 1573-7632, 1573-7632Vydáno: New York Springer US 01.12.2019Vydáno v Genetic programming and evolvable machines (01.12.2019)“… 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…”
Získat plný text
Journal Article -
11
Composing transformations of compiled Java programs with Jabyce
ISSN: 1820-0214, 2406-1018Vydáno: 2004Vydáno v Computer Science and Information Systems (2004)“…This article introduces Jabyce, a software framework for the implementation and composition of transformations of compiled Java programs…”
Získat plný text
Journal Article -
12
Data Augmentation by Program Transformation
ISSN: 0164-1212, 1873-1228Vydáno: Elsevier Inc 01.08.2022Vydáno v The Journal of systems and software (01.08.2022)“… 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…”
Získat plný text
Journal Article -
13
Reconciling the past and the present: An empirical study on the application of source code transformations to automatically rejuvenate Java programs
Vydáno: IEEE 01.03.2018Vydáno v 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER) (01.03.2018)“… In this paper we present a RASCAL Java transformation library that evolves legacy systems to use more recent programming language constructs…”
Získat plný text
Konferenční příspěvek -
14
On the generalizability of Neural Program Models with respect to semantic-preserving program transformations
ISSN: 0950-5849, 1873-6025Vydáno: Elsevier B.V 01.07.2021Vydáno v Information and software technology (01.07.2021)“…-preserving transformations: a generalizable neural program model should perform equally well on programs…”
Získat plný text
Journal Article -
15
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings
ISSN: 0164-1212Vydáno: Elsevier Inc 01.10.2020Vydáno v The Journal of systems and software (01.10.2020)“…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…”
Získat plný text
Journal Article -
16
DBridge: A program rewrite tool for set-oriented query execution
ISBN: 9781424489596, 1424489598ISSN: 1063-6382Vydáno: IEEE 01.04.2011Vydáno v 2011 IEEE 27th International Conference on Data Engineering (01.04.2011)“…We present DBridge, a novel static analysis and program transformation tool to optimize database access…”
Získat plný text
Konferenční příspěvek -
17
Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings
ISSN: 2470-6892Vydáno: IEEE 01.09.2019Vydáno v Proceedings / IEEE International Working Conference on Source Code Analysis and Manipulation (01.09.2019)“…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…”
Získat plný text
Konferenční příspěvek -
18
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders
ISBN: 9781450304450, 1450304451ISSN: 0270-5257Vydáno: New York, NY, USA ACM 21.05.2011Vydáno v 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)“…Static program analyses and transformations for Java face many problems when analyzing programs that use reflection or custom class loaders…”
Získat plný text
Konferenční příspěvek -
19
Portable and accurate sampling profiling for Java
ISSN: 0038-0644, 1097-024XVydáno: Chichester, UK John Wiley & Sons, Ltd 01.05.2006Vydáno v Software, practice & experience (01.05.2006)“…This article presents a novel framework for the sampling‐based profiling of Java programs, which relies on program transformation techniques…”
Získat plný text
Journal Article -
20
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 19.07.2010Vydáno v arXiv.org (19.07.2010)“… 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…”
Získat plný text
Paper

