Suchergebnisse - ((automatic OR automatizacie) OR automation) programming— program synthesis general terms~

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

Autoren: Saber, Takfarinas Tao, Ning

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

Schlagwörter: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

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

Autoren: Shaout, Adnan Ditty, Javid Carr, Kyle

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

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.

Autoren: DONGKWON LEE WOOSUK LEE HAKJOO OH et al.

Quelle: ACM Transactions on Programming Languages & Systems; Sep2023, Vol. 45 Issue 3, p1-37, 37p

Schlagwörter: COMPILERS (Computer programs), EXPERTISE

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

Autoren: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang et al.

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

Schlagwörter: 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.

Autoren: Qi, Fubo Wang, Tianyu Zheng, Ruixiang et al.

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

Schlagwörter: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Autoren: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

Quelle: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Autoren: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Schlagworte: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Artificial Intelligence for Quality Defects in the Automotive Industry: A Systemic Review.

Autoren: Morales Matamoros, Oswaldo Takeo Nava, José Guillermo Moreno Escobar, Jesús Jaime et al.

Quelle: Sensors (14248220); Mar2025, Vol. 25 Issue 5, p1288, 39p

Schlagwörter: MACHINE learning, ARTIFICIAL neural networks, NEURAL computers, ARTIFICIAL intelligence, CONVOLUTIONAL neural networks

Program synthesis algorithm based on context consistency heuristic.

Autoren: Dou, Quansheng Pan, Hao Tang, Huanling et al.

Quelle: International Journal of Machine Learning & Cybernetics; Feb2024, Vol. 15 Issue 2, p559-571, 13p

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

Autoren: Ramírez-Rueda, Rolando Benítez-Guerrero, Edgard Mezura-Godoy, Carmen et al.

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

Schlagwörter: LANGUAGE models, SOFTWARE requirements specifications, COMPUTER software development, NATURAL languages, RESEARCH institutes

Toward Automatic Program Synthesis.

Autoren: Manna, Zohar Waldinger, Richard I. Gries, D.

Quelle: Communications of the ACM; Mar1971, Vol. 14 Issue 3, p151-165, 15p, 13 Diagrams, 3 Graphs

Schlagwörter: PROGRAMMING languages, PROBLEM solving, COMPUTER programming, C (Computer program language), MATHEMATICAL induction, ARTIFICIAL intelligence

Mapping Collaborations in STEM Education: A Scoping Review and Typology of In-School–Out-of-School Partnerships.

Autoren: Ziegler, Albert Shiani, Maryam Wengler, Diana et al.

Quelle: Education Sciences; Nov2025, Vol. 15 Issue 11, p1513, 24p

Schlagwörter: STEM education, EDUCATIONAL cooperation, THEMATIC analysis, CLASSIFICATION, SCHOOL environment, INTERDISCIPLINARY education, COALITIONS

The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces.

Autoren: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

Quelle: Software: Practice & Experience; Mar2024, Vol. 54 Issue 3, p528-540, 13p

Schlagwörter: EMPIRICAL research, RESEARCH personnel

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

Autoren: Tao, Ning Ventresque, Anthony Nallur, Vivek et al.

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

Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Autoren: Fred Mesnard Peter J. Stuckey

Resource Type: eBook.

Schlagworte: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Artificial intelligence, Machine theory

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Global Research Trends and Thematic Development on the Biological Protective Effects of Boron: A Comprehensive Bibliometric Analysis (1990-2025).

Alternate Title: Borun Biyolojik Koruyucu Etkileri Üzerine Küresel Araştırma Eğilimleri ve Tematik Gelişmeler: Kapsamlı Bir Bibliyometrik Analiz (1990-2025).

Autoren: Aşkın TEKİN¹ askin.tekin@giresun.edu.tr

Quelle: Journal of Anatolian Environmental & Animal Science. 2025, Vol. 10 Issue 6, p844-860. 17p.

Towards automatic imperative program synthesis through proof planning.

Autoren: Stark, J. Ireland, A.

Quelle: 14th IEEE International Conference on Automated Software Engineering; 1999, p44-51, 8p

Learning programs with magic values.

Autoren: Hocquette, Céline Cropper, Andrew

Quelle: Machine Learning; May2023, Vol. 112 Issue 5, p1551-1595, 45p

Schlagwörter: MAGIC, INDUCTION (Logic), LOGIC programming, DRUG design

TREAD: A New Genetic Programming Representation Aimed at Research of Long Term Complexity Growth

Autoren: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Algorithms, Design, Experimentation Keywords Artificial Intelligence, Genetic Programming, Representations

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.820; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.820
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf

Property-driven benchmark generation: synthesizing programs of realistic structure.

Autoren: Steffen, Bernhard Isberner, Malte Naujokat, Stefan et al.

Quelle: International Journal on Software Tools for Technology Transfer. Oct2014, Vol. 16 Issue 5, p465-479. 15p.

Schlagwörter: *VERIFICATION of computer systems, *BENCHMARK testing (Engineering), *AUTOMATION software, *COMPUTER software development, *LOGIC programming