Suchergebnisse - Automatic Programming— program synthesis

Neural Network Approach to Program Synthesis for Tabular Transformation by Example

Autoren: Yoshifumi Ujibashi Atsuhiro Takasu

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

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

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/eb31f17e54ad4d0aabd04e78fbf4e523

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

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

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

Quelle: urn:tid:202230716

Schlagwörter: First approach, Basilar questions, Relationship between State-of-the Art, GP variants and GEP

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10400.1/12710

Towards automatic synthesis of linear algebra programs

Weitere Verfasser: Boyle, J.

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

Dateibeschreibung: Medium: ED; Size: Pages: 25

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

Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning

Autoren: Yuhong Wang Xin Li

Quelle: IEEE Access, Vol 9, Pp 71521-71534 (2021)

Schlagwörter: Programming by examples, functional programs, miniKanren, relational programming, deep learning, deductive search, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/ec9834cfe0bd4df1a3b25cc22e73b9cc

Automatic Program Synthesis Reports.

Autoren: Ohio State Univ., Columbus. Computer and Information Science Research Center. Biermann, A. W.

Peer Reviewed: N

Page Count: 66

Sponsoring Agency: Advanced Research Projects Agency (DOD), Washington, DC.
National Science Foundation, Washington, DC.

Descriptors: Algorithms, Artificial Intelligence, Computational Linguistics, Computer Programs, Computer Science, Information Science, Man Machine Systems

Automatic heuristic generation with genetic programming: Evolving a jack-of-alltrades or a master of one

Autoren: Edmund K Burke Matthew Hyde Graham Kendall et al.

Weitere Verfasser: Edmund K Burke Matthew Hyde Graham Kendall et al.

Quelle: http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Bin-Packing, Genetic Programming, Hyper-Heuristics, Heuristics

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4958; http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4958
http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf

Automatic Heuristic Generation with Genetic Programming: Evolving a Jack-of-all-Trades or a Master of One

Autoren: Edmund K. Burke Matthew Hyde Graham Kendall et al.

Weitere Verfasser: Edmund K. Burke Matthew Hyde Graham Kendall et al.

Quelle: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Bin-Packing, Genetic Programming, Hyper-Heuristics, Heuristics

Dateibeschreibung: application/pdf

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

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

Synthesis of fault-tolerant concurrent programs

Autoren: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Quelle: http://theory.csail.mit.edu/tds/papers/Attie/attie-TOPLAS04.pdf.

Schlagwörter: proofs, formal methods, model checking, reliability, D.2.2 [Software Engineering, Design Tools and Techniques—state diagrams, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—temporal logic, C.4 [Performance of Systems, Fault Tolerance, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, C.2.4 [Computer-Communication Networks, Distributed Systems, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Concurrent programs, fault-tolerance, program synthesis, specification, temporal logic

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.163

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.163
http://theory.csail.mit.edu/tds/papers/Attie/attie-TOPLAS04.pdf

Synthesis of Concurrent Programs for an Atomic Read/Write Model of Computation

Autoren: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Quelle: http://theory.lcs.mit.edu/tds/papers/Attie/TOPLAS-2001.pdf.

Schlagwörter: Logic and Formal Languages, Mathematical Logic—temporal logic, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Atomic registers, concurrent programs, program synthesis, specification, temporal logic

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.6388

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.6388
http://theory.lcs.mit.edu/tds/papers/Attie/TOPLAS-2001.pdf

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.

Autoren: Ireland, Andrew Stark, Jamie

Quelle: Automated Software Engineering; Jan2006, Vol. 13 Issue 1, p65-105, 40p, 4 Charts

Schlagwörter: STRUCTURED programming, HEURISTIC programming, COMPUTER programming, PROOF theory -- Data processing, PROGRAMMING languages, STRUCTURED techniques of electronic data processing, AUTOMATIC programming (Computer science)

Language Design for Synthesizing Diagrams, Layouts, and Invariants

Autoren: Sarracino, John

Schlagwörter: Computer science, Automatic Programming, Diagrams, Invariants, Layouts, Program Synthesis

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/9p6896qr
https://escholarship.org/content/qt9p6896qr/qt9p6896qr.pdf

BF++: a language for general-purpose program synthesis

Autoren: Liventsev, Vadim Härmä, Aki Petković, Milan

Index Begriffe: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Neural and Evolutionary Computing, I.2.2, text

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

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Autoren: FERENCZ, Endre GOLDSCHMIDT, Balázs

Quelle: Pollack Periodica; 2017, Vol. 12 Issue 2, p3-15, 13p

Schlagwörter: COMPUTER software development, JAVA programming language, SOURCE code, AUTOMATIC programming (Computer science), SOFTWARE verification

Graph structured program evolution with automatically defined nodes

Autoren: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco09_shirakawa.pdf.

Schlagwörter: I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search General Terms Algorithms, Experimentation, Performance Keywords Automatic Programming, Genetic Programming, Automati- cally Defined Function, Graph-based Genetic Programming, Graph Structured Program Evolution, Evolutionary Algo- rithm, Genetic Algorithm, Recursive Program

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.3601; http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco09_shirakawa.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.3601
http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco09_shirakawa.pdf

The estimation of Hölderian regularity using genetic programming

Autoren: Trujillo, Leonardo Legrand, Pierrick Lévy Véhel, Jacques et al.

Weitere Verfasser: Trujillo, Leonardo Legrand, Pierrick Lévy Véhel, Jacques et al.

Quelle: GECCO'10 Proceedings of the 12th annual conference on Genetic and evolutionary computation ; Genetic and Evolutionary Computation Conference (GECCO 2010). Best Paper Award in "Genetic Programming" ; https://inria.hal.science/inria-00538943 ; Genetic and Evolutionary Computation Conference (GECCO 2010). Best Paper Award in "Genetic Programming", Jul 2010, Portland Oregon, United States. pp.861-868

Schlagwörter: Signal regularity, Hölder exponent, Genetic Programming, I.2.2 [Artificial Intelligence]: Automatic Programming--program synthesis, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]

Geographisches Schlagwort: Portland Oregon, United States

Verfügbarkeit: https://inria.hal.science/inria-00538943
https://inria.hal.science/inria-00538943/document
https://inria.hal.science/inria-00538943/file/t10fp182-trujillo.pdf

Tools and Techniques for Building Programming Assistants for Data Analysis

Autoren: Bavishi, Rohan Jayesh

Schlagwörter: Computer science, Code Generation, Machine Learning, Program Mining, Program Synthesis, Programming Assistants

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/7376p3tm
https://escholarship.org/content/qt7376p3tm/qt7376p3tm.pdf

Quantum Program Synthesis Through Operator Learning and Selection

Autoren: Sihyung Lee Seung Yeob Nam

Quelle: IEEE Access, Vol 11, Pp 25755-25767 (2023)

Schlagwörter: Machine learning, neural networks, program synthesis, quantum computing, quantum program, supervised learning, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/8ae24ee38a8543b7a5142af3f0b63056

Evolving a digital multiplier with the pushgp genetic programming system,” in GECCO ’13 Companion: Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion

Autoren: Thomas Helmuth Lee Spector The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Thomas Helmuth Lee Spector The Pennsylvania State University CiteSeerX Archives

Quelle: http://faculty.hampshire.edu/lspector/pubs/W1501-helmuth-with-erratum.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.4243

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.4243
http://faculty.hampshire.edu/lspector/pubs/W1501-helmuth-with-erratum.pdf

The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis.

Autoren: Kant, Elaine Barstow, David R.

Quelle: IEEE Transactions on Software Engineering. Sep81, Vol. 7 Issue 5, p458-471. 14p. 8 Diagrams.

Schlagwörter: *COMPUTER software, *COMPUTER programming, *SOFTWARE engineering, *COMPUTER systems

Technology for Automatic Generation of Application Programs - A Pragmatic View

Autoren: Cardenas, Alfonso F.

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

Zugangs-URL: https://www.jstor.org/stable/248712