Výsledky vyhľadávania - Automatic Programming- program modification

The Evolution of Programs: Automatic Program Modification.

Autori: Dershowitz, Nachum Manna, Zohar

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

Predmety: *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

Autori: Mohsen Rahmati Francois-Raymond Boyer Bill Pontikakis a ďalší

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

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

Popis súboru: electronic resource

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

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

Automated Program Repair for Introductory Programming Assignments

Autori: Han Wan Hongzhen Luo Mengying Li a ďalší

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

Peer Reviewed: Y

Počet strán: 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

Autori: Chao Zhang Guanghui Zhou Yanzhen Jing a ďalší

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

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

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

Cost-Aware Automatic Program Repair

Autori: Roopsha Samanta E. Allen Emerson Oswaldo Olivo

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

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

Prí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

Autori: Nachum Dershowitz Zohar Manna

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

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

Prí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.

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

Zdroj: DTIC AND NTIS

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

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

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

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

Predmety: 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 súboru: 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

Dostupnosť: 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

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

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

Predmety: 005.130711

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

Kleene Algebra with Tests

Autori: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Knight, Allan Almeroth, Kevin

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

Peer Reviewed: Y

Počet strán: 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

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

Experience with the SETL Optimizer: Experience with the SETL optimizer

Autori: Micha Sharir Jacob T. Schwartz Stefan M. Freudenberger

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

Predmety: 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 súboru: application/xml

Prí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

Autori: Yasunobu ONISHI 大西 康伸

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

A Survey of Genetic Programming and Its Applications.

Autori: Ahvanooey, Milad Taleby Qianmu Li Ming Wu a ďalší

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

Predmety: Mathematical reformulation, Computer software, Optical character recognition, Natural selection, Genetic mutation, Genetic programming, Genetic algorithms

Real Time Automatic Programming

Autori: MITRE CORP BEDFORD MA Cleveland, Gary A. Piazza, Richard L. a ďalší

Zdroj: DTIC AND NTIS

Témy: 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).

Autori: 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.

Autori: Waters, Richard C.

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

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

Automatic Programming: Large Language Models and Beyond.

Autori: Lyu, Michael R. Ray, Baishakhi Roychoudhury, Abhik a ďalší

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

Predmety: LANGUAGE models, ARTIFICIAL intelligence, PROGRAMMING languages, TRUST, POPULARITY

Automatic Analysis of the Logical Structure of Programs

Autori: MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB Waters,Richard C

Zdroj: DTIC AND NTIS

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