Search Results - ((automatic OR automatizacia) OR automation) programming— program synthesis

Technology for Automatic Generation of Application Programs - A Pragmatic View

Authors: Cardenas, Alfonso F.

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

Access URL: 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

Authors: Neto, David Benedy Pereira Oliveira, José Valente de Sapientia

Contributors: Neto, David Benedy Pereira Oliveira, José Valente de Sapientia

Source: urn:tid:202230716

Subject Terms: First approach, Basilar questions, Relationship between State-of-the Art, GP variants and GEP

File Description: application/pdf

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

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

Authors: Saber, Takfarinas Tao, Ning

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

Subject Terms: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

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

Authors: Gissurarson, Matthías Páll, 1991

Subject Terms: Types, Tests, Compilers, Program Repair, Program Synthesis

File Description: electronic

Access URL: https://research.chalmers.se/publication/541984
https://research.chalmers.se/publication/541984/file/541984_Fulltext.pdf

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

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

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

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

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

Authors: Shaout, Adnan Ditty, Javid Carr, Kyle

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

Type-Constrained Code Generation with Language Models

Authors: Mündler, Niels He, Jingxuan Wang, Hao et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/8xw132rt
https://escholarship.org/content/qt8xw132rt/qt8xw132rt.pdf

Genetic Programming in Software Engineering: A Systematic Literature Review.

Authors: Sánchez-García, Ángel Juan Loaiza-Meseguer, Leslie Octavio Ocharán-Hernández, Jorge et al.

Source: International Journal of Combinatorial Optimization Problems & Informatics; Sep-Dec2023, Vol. 14 Issue 3, p61-70, 10p

Subject Terms: GENETIC programming, TECHNICAL literature, GENETIC software, SOFTWARE engineering, COMPUTER software development, APPLICATION software

Towards automatic synthesis of linear algebra programs

Contributors: Boyle, J.

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

File Description: Medium: ED; Size: Pages: 25

Access URL: http://www.osti.gov/scitech/servlets/purl/6574580

ProSy: API-Based Synthesis with Probabilistic Model.

Authors: Liu, Bin-Bin Dong, Wei Liu, Jia-Xin et al.

Source: Journal of Computer Science & Technology (10009000); Nov2020, Vol. 35 Issue 6, p1234-1257, 24p

Subject Terms: PROGRAMMING languages, PETRI nets, APPLICATION program interfaces

Toward Automatic Program Synthesis.

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

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

Subject Terms: *PROGRAMMING languages, *PROBLEM solving, *COMPUTER programming, *C (Computer program language), *ARTIFICIAL intelligence, MATHEMATICAL induction

The Premature Obituary of Programming: Why deep learning will not replace programming.

Authors: Yellin, Daniel M.

Source: Communications of the ACM; Feb2023, Vol. 66 Issue 2, p41-44, 4p, 1 Color Photograph

Subject Terms: DEEP learning, MACHINE learning, COMPUTER programming, COMPUTER programmers, ARTIFICIAL neural networks, LANGUAGE models, COMPUTER software, ELECTRONIC information resource searching

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Authors: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

Source: ACM Transactions on Programming Languages & Systems. Jun2024, Vol. 46 Issue 2, p1-59. 59p.

Subject Terms: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

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

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

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

Program synthesis: challenges and opportunities.

Authors: David, Cristina Kroening, Daniel

Source: Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences; 10/13/2017, Vol. 375 Issue 2104, p1-20, 20p

Subject Terms: COMPUTER programming, COMPUTER systems, SOFTWARE engineering

Neural Network Approach to Program Synthesis for Tabular Transformation by Example

Authors: Yoshifumi Ujibashi Atsuhiro Takasu

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

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

File Description: electronic resource

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

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

AutoBayes/CC: Combining Program Synthesis with Automatic Code Certification: System Description

Authors: Whalen, Michael Schumann, Johann Fischer, Bernd et al.

Subject Terms: Computer Programming And Software

Access URL: https://ntrs.nasa.gov/citations/20020090879

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Finkbeiner, Bernd Kovács, Laura

Subject Terms: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, concurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: https://library.oapen.org/handle/20.500.12657/89906

Foundations of Software Science and Computation Structures

Contributors: Abdulla, Parosh Aziz Kesner, Delia

Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: https://library.oapen.org/handle/20.500.12657/101666

Foundations of Software Science and Computation Structures

Contributors: Kobayashi, Naoki Worrell, James

Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: https://library.oapen.org/handle/20.500.12657/89912