Search Results - automation programming— program transformation

Refine Results
  1. 1

    Program transformation landscapes for automated program modification using Gin by Petke, Justyna, Alexander, Brad, Barr, Earl T., Brownlee, Alexander E. I., Wagner, Markus, White, David R.

    ISSN: 1382-3256, 1573-7616
    Published: New York Springer US 01.07.2023
    “…Automated program modification underlies two successful research areas — genetic improvement and program repair…”
    Get full text
    Journal Article
  2. 2

    Transformation of Functional Dataflow Parallel Programs into Imperative Programs by Vasilev, V. S., Legalov, A. I., Zykov, S. V.

    ISSN: 0146-4116, 1558-108X
    Published: Moscow Pleiades Publishing 01.12.2022
    Published in Automatic control and computer sciences (01.12.2022)
    “… In order to run programs directly on existing computing systems, specific optimization and transformation methods that take the features of both the programming language and the system architecture…”
    Get full text
    Journal Article
  3. 3

    Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example by Dilhara, Malinda, Bellur, Abhiram, Bryksin, Timofey, Dig, Danny

    ISSN: 2994-970X, 2994-970X
    Published: New York, NY, USA ACM 12.07.2024
    “… While current Transformation by Example (TBE) techniques can automate CPATs, they are limited by the quality and quantity of the provided input examples…”
    Get full text
    Journal Article
  4. 4

    Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language by Legalov, A. I., Bugayenko, Y. G., Chuykin, N. K., Shipitsin, M. V., Riabtsev, Y. I., Kamenskiy, A. N.

    ISSN: 0146-4116, 1558-108X
    Published: Moscow Pleiades Publishing 01.12.2023
    Published in Automatic control and computer sciences (01.12.2023)
    “…— The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language…”
    Get full text
    Journal Article
  5. 5

    Making legacy Fortran code type safe through automated program transformation by Vanderbauwhede, Wim

    ISSN: 0920-8542, 1573-0484
    Published: New York Springer US 01.02.2022
    Published in The Journal of supercomputing (01.02.2022)
    “… In this paper, we present a formal approach to ensure type safety of legacy Fortran code through automated program transformation…”
    Get full text
    Journal Article
  6. 6

    Towards an automation of the mutation analysis dedicated to model transformation by Aranega, Vincent, Mottu, Jean-Marie, Etien, Anne, Degueule, Thomas, Baudry, Benoit, Dekeyser, Jean-Luc

    ISSN: 0960-0833, 1099-1689
    Published: Chichester Blackwell Publishing Ltd 01.08.2015
    “…‐level models through intermediary levels using model transformations. In such a process, the input must be well designed, and the model transformations should be trustworthy…”
    Get full text
    Journal Article
  7. 7

    Model transformation: the heart and soul of model-driven software development by Sendall, S., Kozaczynski, W.

    ISSN: 0740-7459, 1937-4194
    Published: Los Alamitos IEEE 01.09.2003
    Published in IEEE software (01.09.2003)
    “… This article examines different approaches to model transformations and recommends desirable language characteristics for describing them…”
    Get full text
    Journal Article
  8. 8

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

    ISSN: 2169-3536, 2169-3536
    Published: Piscataway IEEE 2019
    Published in IEEE access (2019)
    “…Developers of parallel programming are faced with choices of using various Java locks…”
    Get full text
    Journal Article
  9. 9

    A neurodynamic approach for solving portfolio optimisation problem in high-frequency trading based on charnes-chooper transformation by Zhu, Wenli, Chen, Jia, Hu, Jin

    ISSN: 0020-7721, 1464-5319
    Published: London Taylor & Francis 19.05.2025
    Published in International journal of systems science (19.05.2025)
    “… By utilising the Charnes-Cooper transformation, we convert fractional programming into non-fractional programming…”
    Get full text
    Journal Article
  10. 10

    Automated broken object-level authorization attack detection in REST APIs through OpenAPI to colored petri nets transformation by Santos Filho, Ailton, Rodríguez, Ricardo J., Feitosa, Eduardo L.

    ISSN: 1615-5262, 1615-5270
    Published: Heidelberg Springer Nature B.V 01.04.2025
    “…The representational state transfer architectural style (REST) specifies a set of rules for creating web services. In REST, data and functionality are…”
    Get full text
    Journal Article
  11. 11

    Research on post-processing development technology for four-axis turn-milling compound machining with Siemens 840Dsl CNC system by Li, Guan-lin, Zhang, Qian, Yue, Hai-bao, Wang, Peng-wei, Ma, Jian-wei, Xie, Ying-hao, Ye, Tao

    ISSN: 0268-3768, 1433-3015
    Published: London Springer London 01.08.2025
    “…Large curved components such as wheel hubs, case covers, and blisks play a crucial role in high-end equipment manufacturing due to their specialized functions…”
    Get full text
    Journal Article
  12. 12

    AndroEvolve: automated Android API update with data flow analysis and variable denormalization by Haryono, Stefanus A., Thung, Ferdian, Lo, David, Jiang, Lingxiao, Lawall, Julia, Kang, Hong Jin, Serrano, Lucas, Muller, Gilles

    ISSN: 1382-3256, 1573-7616
    Published: New York Springer US 01.05.2022
    “… Hence, automating the updates of Android APIs can be beneficial for developers. CocciEvolve is the state-of-the-art approach for this automation…”
    Get full text
    Journal Article
  13. 13

    Research on Parametric Modeling and Model Transformation of Proton Hospital Based on BIM by Li, Shoufu, Yu, Tao, Liu, Yang, Li, Yan, Lei, Bo, Qiao, Wenjing, Zhang, Yuyan

    ISSN: 2075-5309, 2075-5309
    Published: Basel MDPI AG 01.05.2025
    Published in Buildings (Basel) (01.05.2025)
    “…Aiming at problems such as difficulty and low efficiency in modeling complex building structures in Revit and Abaqus, Revit and Dynamo visual programming modeling were used to realize rapid parametric…”
    Get full text
    Journal Article
  14. 14

    Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems by Zhou, Nan, Li, Di, Vyatkin, Valeriy, Dubinin, Victor, Liu, Chengliang

    ISSN: 1545-5955, 1558-3783, 1558-3783
    Published: New York IEEE 01.01.2022
    “…Recent technological advances and manufacturing paradigm evolutions in industrial settings will dramatically increase the complexity of automation control systems…”
    Get full text
    Journal Article
  15. 15

    PYEVOLVE: Automating Frequent Code Changes in Python ML Systems by Dilhara, Malinda, Dig, Danny, Ketkar, Ameya

    ISSN: 1558-1225
    Published: IEEE 01.05.2023
    “… loops. While manually performing CPATs is tedious, the current state-of-the-art techniques for inferring transformation rules are not advanced enough to handle unseen variants of complex CPATs, resulting in a low recall rate…”
    Get full text
    Conference Proceeding
  16. 16

    The use of the rapid unequal interval interpolation method (RUIIM) for a non-RTCP NC program and five-axis machining by Chen, Wei-Chih, Lin, Tzu-Kuan, Teng, Hsing-Ming, Chung-ChenTsao

    ISSN: 0268-3768, 1433-3015
    Published: London Springer London 01.02.2023
    “…In industries such as electronics 3C, medical, aviation, and energy, multi-axis machining machines are an important element of modern production systems,…”
    Get full text
    Journal Article
  17. 17

    Transformation-based diagnosis of student programs for programming tutoring systems by Xu, Songwen, Chee, Yam San

    ISSN: 0098-5589, 1939-3520
    Published: New York IEEE 01.04.2003
    Published in IEEE transactions on software engineering (01.04.2003)
    “… This paper describes a transformation-based approach to automate the diagnosis of students' programs for programming tutoring systems…”
    Get full text
    Journal Article
  18. 18

    Influence of programming style in transformation bad smells: mining of ETL repositories by Bonet, Nicolás, Garcés, Kelly, Casallas, Rubby, Correal, María Elsa, Wei, Ran

    ISSN: 0899-3408, 1744-5175
    Published: Norwood Routledge 02.01.2018
    Published in Computer science education (02.01.2018)
    “…Bad smells affect maintainability and performance of model-to-model transformations…”
    Get full text
    Journal Article
  19. 19

    Program Characterization Using Runtime Values and Its Application to Software Plagiarism Detection by Jhi, Yoon-Chan, Jia, Xiaoqi, Wang, Xinran, Zhu, Sencun, Liu, Peng, Wu, Dinghao

    ISSN: 0098-5589, 1939-3520
    Published: New York IEEE 01.09.2015
    Published in IEEE transactions on software engineering (01.09.2015)
    “… theft cases where plagiarizers can use various automated code transformation or obfuscation techniques to hide…”
    Get full text
    Journal Article
  20. 20

    Zero‐sum game‐based H∞ optimal finite‐time prescribed performance control for nonlinear multiagent systems with actuator faults by Zhang, Bowen, Zhang, Linchuang, Pan, Yingnan

    ISSN: 1049-8923, 1099-1239
    Published: Bognor Regis Wiley Subscription Services, Inc 10.09.2024
    “… First, to guarantee the specified performance of the system within a finite time frame, a novel error transformation function (ETF) is constructed…”
    Get full text
    Journal Article