Search Results - Automatic Programming- program modification*

Automatic Programming: Large Language Models and Beyond.

Authors: Lyu, Michael R. Ray, Baishakhi Roychoudhury, Abhik et al.

Source: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-33, 33p

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, PROGRAMMING languages, TRUST, POPULARITY

The Evolution of Programs: Automatic Program Modification.

Authors: Dershowitz, Nachum Manna, Zohar

Source: IEEE Transactions on Software Engineering. Nov77, Vol. 3 Issue 6, p377-386. 10p. 2 Color Photographs.

Subject Terms: *AUTOMATIC programming (Computer science), *COMPUTER software, *COMPUTER files, *COMPUTER programming, *MATHEMATICAL programming, *ELECTRONIC data processing

P4Muse: Enabling Modular P4 Programming via Compiler-Managed Code Merging Without Syntax Modifications

Authors: Mohsen Rahmati Francois-Raymond Boyer Bill Pontikakis et al.

Source: IEEE Access, Vol 13, Pp 124138-124157 (2025)

Subject Terms: Programmable data planes, P4, compiler, intermediate representation, modularity, reusability, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

File Description: electronic resource

Relation: https://ieeexplore.ieee.org/document/11080440/; https://doaj.org/toc/2169-3536

Access URL: https://doaj.org/article/c27b96035c0444abb4c8d4e3c9d460ec

Automated Program Repair for Introductory Programming Assignments

Authors: Han Wan Hongzhen Luo Mengying Li et al.

Source: IEEE Transactions on Learning Technologies. 2024 17:1745-1760.

Peer Reviewed: Y

Page Count: 16

Descriptors: Programming, Computer Science Education, Introductory Courses, Assignments, Error Correction, Computer Software, Teaching Methods, Artificial Intelligence

A Digital Twin-Based Automatic Programming Method for Adaptive Control of Manufacturing Cells

Authors: Chao Zhang Guanghui Zhou Yanzhen Jing et al.

Source: IEEE Access, Vol 10, Pp 80784-80793 (2022)

Subject Terms: automatic programming, 0209 industrial biotechnology, behavior model, event model, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, industry 4.0, adaptive control, Digital twin, TK1-9971

Access URL: https://doaj.org/article/8e3bdf13574e491d875fdcb11c996596

Dynamical Sphere Regrouping Particle Swarm Optimization Programming: An Automatic Programming Algorithm Avoiding Premature Convergence.

Authors: Montes Rivera, Martín Guerrero-Mendez, Carlos Lopez-Betancur, Daniela et al.

Source: Mathematics (2227-7390); Oct2024, Vol. 12 Issue 19, p3021, 53p

Subject Terms: MACHINE learning, GENETIC programming, MATHEMATICAL mappings, MATHEMATICAL models, ALGORITHMS

Automatic Programming As An Open-Ended Evolutionary System.

Authors: Fix, Sebastian Probst, Thomas Ruggli, Oliver et al.

Source: International Journal of Computer Information Systems & Industrial Management Applications; 2022, Vol. 14, p204-212, 9p

Subject Terms: AUTOMATIC programming (Computer science), ELECTRONIC circuits, COMPUTER software development, GENETIC programming, ARTIFICIAL intelligence, MACHINE learning

GPT-Driven Source-to-Source Transformation for Generating Compilable Parallel CUDA Code for Nussinov's Algorithm.

Authors: Palkowski, Marek Gruzewski, Mateusz

Source: Electronics (2079-9292); Feb2024, Vol. 13 Issue 3, p488, 14p

Subject Terms: ALGORITHMS, PROGRAMMING languages, COMPUTER science, GRAPHICS processing units, IMAGE processing, COMPILERS (Computer programs), PARALLEL algorithms

Company/Entity: OPENAI Inc.

Transformer-Assisted Genetic Programming for Symbolic Regression [Research Frontier].

Authors: Han, Xiaoxu Zhong, Jinghui Ma, Zhitong et al.

Source: IEEE Computational Intelligence Magazine; May2025, Vol. 20 Issue 2, p58-79, 22p

Natural Language-Based Automatic Programming for Industrial Robots.

Authors: Hu, Haiyang Chen, Jie Liu, Hanwen et al.

Source: Journal of Grid Computing; Sep2022, Vol. 20 Issue 3, p1-25, 25p

The Design and Implementation of a Table Driven, Interactive Diagnostic Programming System.

Authors: Wilcox, Thomas R. Davis, Alan M. Tindall, Michael H.

Source: Communications of the ACM; Nov76, Vol. 19 Issue 11, p609-616, 8p, 4 Diagrams

Subject Terms: INTERACTIVE computer systems, COMPUTER systems, COMPUTER assisted instruction, COMPUTER-aided engineering, AUTOMATIC programming (Computer science), COMPUTER software

Interactive type automatic programming method including automatic re-execution of program statements

Development and application of Scratch in PLC automatic programming. (English)

Authors: XIA YU CHEN Chao CHEN Zhenzhong et al.

Source: Journal of Donghua University (Natural Science Edition); Aug2022, Vol. 48 Issue 4, p85-91, 7p

Subject Terms: PROGRAMMABLE controllers, SOURCE code, HUMAN-computer interaction, COMPUTER software, VIRTUAL design

The Evolution of Programs: A System for Automatic Program Modification.

Authors: STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE Dershowitz,Nachum Manna,Zohar

Source: DTIC AND NTIS

Index Terms: Operations Research, Computer Programming and Software, Bionics, COMPUTER PROGRAMS, ARTIFICIAL INTELLIGENCE, AUTOMATIC PROGRAMMING, MODIFICATION, MATHEMATICAL PROGRAMMING, DEBUGGING(COMPUTERS), Text

URL: https://apps.dtic.mil/docs/citations/ADA042516

Harnessing Evolution for Multi-Hunk Program Repair.

Authors: Saha, Seemanta Saha, Ripon K. Prasad, Mukul R.

Source: ICSE: International Conference on Software Engineering; 5/25/2019, p13-24, 12p

Subject Terms: AUTOMATIC programming (Computer science), SOFTWARE maintenance, SOFTWARE engineering, ARTIFICIAL intelligence, BIG data

Migrating protocols in multi-threaded message-passing systems

Authors: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Contributors: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf.

Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Tech- niques, Automatic Programming- program modification, pro- gram transformation, D.1.3 [Programming Techniques, Concur- rent Programming- multi-threaded programming, D.2.7 [Soft- ware Engineering, Distribution, Maintenance, and Enhancement, D.3.1 [Programming Languages, Formal Definitions and Theory General Terms Languages, Typing Keywords Dynamic Software Update, Multi-Party Session Types, Distributed-Protocols

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972; http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972
http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf

A New Algorithm for Slicing Unstructured Programs.

Authors: Harman, Mark Danicic, Sebastian

Source: Journal of Software Maintenance: Research & Practice; Nov-Dec98, Vol. 10 Issue 6, p415-441, 27p

Subject Terms: AUTOMATIC programming (Computer science), SOFTWARE maintenance, ALGORITHMS, LEGACY systems, SEMANTICS (Philosophy), COMPUTER programming

Automatic marking of Shell programs for students coursework assessment

Authors: Salman, Ayşe Ziarati, Reza Nealon, John

Contributors: Salman, Ayşe Ziarati, Reza Nealon, John

Subject Terms: 005.130711

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401806

Kleene Algebra with Tests

Authors: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Contributors: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cornell.edu/kozen/papers/kat.ps.

Subject Terms: Expressions and Their Representations---simplification of expressions, I.1.3 [Algebraic Manipulation, Languages and Systems---special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming---program modification, program synthesis, program transformation, program verification General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Kleene algebra, specification

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70; http://www.cs.cornell.edu/kozen/papers/kat.ps

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70
http://www.cs.cornell.edu/kozen/papers/kat.ps

Automatic Plagiarism Detection with PAIRwise 2.0

Authors: Knight, Allan Almeroth, Kevin

Source: Journal of Interactive Learning Research. Jul 2011 22(3):379-400.

Peer Reviewed: Y

Page Count: 22

Descriptors: Plagiarism, Student Attitudes, Form Classes (Languages), Researchers, Experiments, Access to Information, Computer Uses in Education, Computer System Design, Databases, Program Effectiveness, College Students, Statistical Analysis, Content Analysis, Indexing, Computer Interfaces, Programming, Computer Software, Computer Software Evaluation, Information Technology, Natural Language Processing, Program Descriptions, Program Development

Geographic Terms: California

Access URL: https://www.editlib.org/p/33261