Výsledky vyhledávání - (automatic OR automation) programming— program synthesis

Review and Mapping of Search-Based Approaches for Program Synthesis.

Autoři: Saber, Takfarinas Tao, Ning

Zdroj: Information; May2025, Vol. 16 Issue 5, p401, 28p

Témata: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

Towards automatic synthesis of linear algebra programs

Přispěvatelé: Boyle, J.

Zdroj: Conference: Conference on the production and assessment of numerical software, Liverpool, UK, 9 Apr 1979

Popis souboru: Medium: ED; Size: Pages: 25

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/6574580

The Role of Interactive Program Synthesis in the Future of Software Development.

Autoři: Shaout, Adnan Ditty, Javid Carr, Kyle

Zdroj: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p

Neural Network Approach to Program Synthesis for Tabular Transformation by Example

Autoři: Yoshifumi Ujibashi Atsuhiro Takasu

Zdroj: IEEE Access, Vol 10, Pp 24864-24876 (2022)

Témata: Automatic programming, beam search, LSTM, neural network, programming by example, program synthesis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

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

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

Technology for Automatic Generation of Application Programs - A Pragmatic View

Autoři: Cardenas, Alfonso F.

Zdroj: MIS Quarterly, 1977 Sep 01. 1(3), 49-72.

Přístupová URL adresa: https://www.jstor.org/stable/248712

A first approach to some basilar questions on the relationship between state-of-the-art GP variants and GEP

Automatic synthesis of sorting algorithms by gene expression programming + (geometric) semantic gene expression programming + encouraging phenotype variation with a new semantic operator: semantic conditional crossover

Autoři: Neto, David Benedy Pereira Oliveira, José Valente de Sapientia

Přispěvatelé: Neto, David Benedy Pereira Oliveira, José Valente de Sapientia

Zdroj: urn:tid:202230716

Témata: First approach, Basilar questions, Relationship between State-of-the Art, GP variants and GEP

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10400.1/12710

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis

Autoři: Brauckmann, Alexander Polgreen, Elizabeth Grosser, Tobias a další

Témata: Computer Science - Programming Languages, Computer Science - Computation and Language, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Performance, text

URL: http://arxiv.org/abs/2310.04196

A Divide, Align, and Conquer Strategy For Program Synthesis.

Autoři: Witt, Jonas Dumančić, Sebastijan Guns, Tias a další

Zdroj: Journal of Artificial Intelligence Research; 2025, Vol. 82, p1961-1997, 37p

Témata: TIME complexity, INDUCTION (Logic), LOGIC programming, PRIOR learning, SCALABILITY

Transforming natural language into code: advancing automated code synthesis for software development.

Autoři: Al shboul, Bashar Qaqour, Ali Bani-Salameh, Hani a další

Zdroj: Cluster Computing. Dec2025, Vol. 28 Issue 15, p1-19. 19p.

Témata: *TRANSFORMER models, *MACHINE learning, *COMPUTER software development, *PROCESS optimization, *CODE generators, *EVALUATION methodology, *NATURAL language processing

Automating the Design of Multigrid Methods with Evolutionary Program Synthesis

Autoři: Schmitt, Jonas

Témata: Mathematics - Numerical Analysis, Computer Science - Artificial Intelligence, Computer Science - Computational Engineering, Finance, and Science, Computer Science - Formal Languages and Automata Theory, Computer Science - Neural and Evolutionary Computing, text

URL: http://arxiv.org/abs/2312.14875

A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing.

Autoři: Ramírez-Rueda, Rolando Benítez-Guerrero, Edgard Mezura-Godoy, Carmen a další

Zdroj: Programming & Computer Software; Dec2024, Vol. 50 Issue 8, p725-741, 17p

Témata: LANGUAGE models, SOFTWARE requirements specifications, COMPUTER software development, NATURAL languages, RESEARCH institutes

Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach

Autoři: Gissurarson, Matthías Páll, 1991

Témata: Types, Tests, Compilers, Program Repair, Program Synthesis

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/541984
https://research.chalmers.se/publication/541984/file/541984_Fulltext.pdf

Choose Your Programming Copilot: A Comparison of the Program Synthesis Performance of GitHub Copilot and Genetic Programming

Autoři: Sobania, Dominik Briesch, Martin Rothlauf, Franz

Témata: Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Neural and Evolutionary Computing, text

URL: http://arxiv.org/abs/2111.07875

AnnCoder: A Mti-Agent-Based Code Generation and Optimization Model.

Autoři: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang a další

Zdroj: Symmetry (20738994); Jul2025, Vol. 17 Issue 7, p1087, 25p

Témata: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

A Memetic and Reflective Evolution Framework for Automatic Heuristic Design Using Large Language Models.

Autoři: Qi, Fubo Wang, Tianyu Zheng, Ruixiang a další

Zdroj: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 15, p8735, 26p

Témata: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming

Enhancing Program Synthesis with Large Language Models Using Many-Objective Grammar-Guided Genetic Programming.

Autoři: Tao, Ning Ventresque, Anthony Nallur, Vivek a další

Zdroj: Algorithms; Jul2024, Vol. 17 Issue 7, p287, 20p

Témata: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

Improved Tree Search for Automatic Program Synthesis

Autoři: Carmon, Aran Wolf, Lior

Témata: Computer Science - Machine Learning, Computer Science - Programming Languages, Computer Science - Software Engineering, text

URL: http://arxiv.org/abs/2303.07166

Authoring Human Simulators via Probabilistic Functional Reactive Program Synthesis.

Autoři: Chung, Michael Jae-Yoon Cakmak, Maya

Zdroj: ACM/IEEE International Conference on Human-Robot Interaction; Mar2022, p727-730, 4p

Témata: SOCIAL robots, HUMAN-robot interaction, ROBOTS, HUMAN beings

Algorithmic program synthesis: introduction.

Autoři: Bodik, Rastislav Jobstmann, Barbara

Zdroj: International Journal on Software Tools for Technology Transfer; Oct2013, Vol. 15 Issue 5/6, p397-411, 15p

Témata: ALGOL (Computer program language), COMPUTER programming, SPECTRAL synthesis (Mathematics), SYSTEMS design, COMPUTER software correctness, COMPUTER networks

Type-Constrained Code Generation with Language Models

Autoři: Mündler, Niels He, Jingxuan Wang, Hao a další

Zdroj: Proceedings of the ACM on Programming Languages. 9(PLDI)

Témata: Information and Computing Sciences, Software Engineering, Code Generation, Language Model, Type System, Program Synthesis, Program Translation, Program Repair, Constrained Decoding, Software engineering, Theory of computation, Numerical and computational mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/8xw132rt
https://escholarship.org/content/qt8xw132rt/qt8xw132rt.pdf