Výsledky vyhledávání - Automatic Programming- program modification~

The Evolution of Programs: Automatic Program Modification.

Autoři: Dershowitz, Nachum Manna, Zohar

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

Témata: *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

Autoři: Mohsen Rahmati Francois-Raymond Boyer Bill Pontikakis a další

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

Témata: Programmable data planes, P4, compiler, intermediate representation, modularity, reusability, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/c27b96035c0444abb4c8d4e3c9d460ec

Automated Program Repair for Introductory Programming Assignments

Autoři: Han Wan Hongzhen Luo Mengying Li a další

Zdroj: 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

Autoři: Chao Zhang Guanghui Zhou Yanzhen Jing a další

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

Témata: 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

Přístupová URL adresa: https://doaj.org/article/8e3bdf13574e491d875fdcb11c996596

Cost-Aware Automatic Program Repair

Autoři: Roopsha Samanta E. Allen Emerson Oswaldo Olivo

Zdroj: Lecture Notes in Computer Science ISBN: 9783319109350
SAS: Static Analysis Symposium

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)

Přístupová URL adresa: https://research-explorer.app.ist.ac.at/download/1875/4650/IST-2014-313-v1%2B1_SOE.SAS14.pdf
http://arxiv.org/abs/1307.7281
http://ui.adsabs.harvard.edu/abs/2013arXiv1307.7281S/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1307.html#SamantaOE13
https://core.ac.uk/display/24951097
https://rd.springer.com/chapter/10.1007/978-3-319-10936-7_17
https://doi.org/10.1007/978-3-319-10936-7_17
https://arxiv.org/abs/1307.7281

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

The evolution of programs: a system for automatic program modification

Autoři: Nachum Dershowitz Zohar Manna

Zdroj: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77. :144-154

Témata: 9. Industry and infrastructure, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 12. Responsible consumption

Přístupová URL adresa: http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA042516
https://dblp.uni-trier.de/db/conf/popl/popl77.html#DershowitzM77
http://portal.acm.org/citation.cfm?doid=512950.512964

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

Autoři: STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE Dershowitz,Nachum Manna,Zohar

Zdroj: DTIC AND NTIS

Témata: 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

Migrating protocols in multi-threaded message-passing systems

Autoři: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: 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

Dostupnost: 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

Automatic marking of Shell programs for students coursework assessment

Autoři: Salman, Ayşe Ziarati, Reza Nealon, John

Přispěvatelé: Salman, Ayşe Ziarati, Reza Nealon, John

Témata: 005.130711

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401806

Kleene Algebra with Tests

Autoři: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: 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

Dostupnost: 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

Autoři: Knight, Allan Almeroth, Kevin

Zdroj: 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

Geografický termín: California

Přístupová URL adresa: https://www.editlib.org/p/33261

Experience with the SETL Optimizer: Experience with the SETL optimizer

Autoři: Micha Sharir Jacob T. Schwartz Stefan M. Freudenberger

Zdroj: ACM Transactions on Programming Languages and Systems. 5:26-45

Témata: data- structure, program transformation, Specification and verification (program logics, model checking, etc.), automatic analysis of algorithms, copy optimization, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, set theoretically oriented programming language, 02 engineering and technology, automatic selection of data representations, program modification, interprocedural program analysis methods

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/3786110
https://doi.org/10.1145/357195.357197
https://www.cs.tufts.edu/comp/150CMP/papers/freudenberger83setl.pdf
https://dblp.uni-trier.de/db/journals/toplas/toplas5.html#FreudenbergerSS83
https://core.ac.uk/display/24462019
https://dl.acm.org/doi/10.1145/357195.357197

BIMによる応急仮設住宅配置案に基づくプレハブ住棟の自動設計プログラムの開発 / DEVELOPMENT OF AN AUTOMATIC MODELING AND DESIGN DOCUMENTATION PROGRAM FOR PREFABRICATED EMERGENCY TEMPORARY HOUSING UNITS USING BIM

Autoři: Yasunobu ONISHI 大西 康伸

Zdroj: 日本建築学会技術報告集 / AIJ Journal of Technology and Design. 2023, 29(71):527

A Survey of Genetic Programming and Its Applications.

Autoři: Ahvanooey, Milad Taleby Qianmu Li Ming Wu a další

Zdroj: KSII Transactions on Internet & Information Systems. Apr2019, Vol. 13 Issue 4, p1765-1794. 30p.

Témata: Mathematical reformulation, Computer software, Optical character recognition, Natural selection, Genetic mutation, Genetic programming, Genetic algorithms

Real Time Automatic Programming

Autoři: MITRE CORP BEDFORD MA Cleveland, Gary A. Piazza, Richard L. a další

Zdroj: DTIC AND NTIS

Témata: Computer Programming and Software, Cybernetics, ARTIFICIAL INTELLIGENCE, AUTOMATIC PROGRAMMING, COMPUTER PROGRAMS, CODING, TOOLS, REAL TIME, PRODUCTION, SYNTHESIS, PE62702F, WURADCMOIE7310, Text

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

An Automatic Bioinformatic System For Identification And Classification Of Hymenoptera (The Apidae Family).

Autoři: CHAIB, Aouatef DJENDLI, Malak Intissar LEKBIR, Youssra

Zdroj: Journal of Advanced Zoology. 2024, Vol. 45 Issue 4, p106-116. 11p.

The Programmer's Apprentice: Knowledge Based Program Editing.

Autoři: Waters, Richard C.

Zdroj: IEEE Transactions on Software Engineering; Jan82, Vol. 8 Issue 1, p1-12, 12p, 23 Diagrams

Témata: COMPUTER-aided design, LISP (Computer program language), COMPUTER programming, EXPERT systems, COMPUTER programmers, SOFTWARE engineering

Automatic Programming: Large Language Models and Beyond.

Autoři: Lyu, Michael R. Ray, Baishakhi Roychoudhury, Abhik a další

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

Témata: LANGUAGE models, ARTIFICIAL intelligence, PROGRAMMING languages, TRUST, POPULARITY

Automatic Analysis of the Logical Structure of Programs

Autoři: MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB Waters,Richard C

Zdroj: DTIC AND NTIS

Témata: Computer Programming and Software, COMPUTER PROGRAMMING, PROGRAMMERS, COMPUTER PROGRAMS, MAINTENANCE, MODIFICATION, MODULAR CONSTRUCTION, PLANNING, MAN COMPUTER INTERFACE, COMPUTER PROGRAM VERIFICATION, LOOPS, AUTOMATIC PROGRAMMING, Automatic program analysis, PBM(Plan Building Methods), Text

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