Search Results - (((automatic OR automatizace) OR avtomatizacii) OR automation) programming—program synthesis
-
1
Authors: Velázquez Iturbide, Ángel
Thesis Advisors: Cerrada Somolinos, José Antonio
Subject Terms: Informática
Access URL: http://hdl.handle.net/10803/453220
-
2
Authors: 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)
-
3
Authors:
Source: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
4
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
5
Authors:
Contributors:
Subject Terms: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Design, Verification. Keywords Grammatical Evolution, Automatic Code Generation, Verilog
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf
-
6
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
7
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Intelligence, Automatic Programming—program modifi- cation General Terms Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551; http://bugcounting.net/pubs/issta10.pdf
-
9
Authors:
Source: ACM/IEEE International Conference on Human-Robot Interaction; Mar2022, p727-730, 4p
Subject Terms: SOCIAL robots, HUMAN-robot interaction, ROBOTS, HUMAN beings
-
10
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.6 [Software Engineer- ing, Programming Environments—Integrated Environments, D.2.13 [Software Engineering, Reusable Software—Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming—Program syn- thesis General Terms Languages, Experimentation Keywords program synthesis, partial expressions, code comple- tion
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics
File Description: application/pdf
-
13
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program Synthesis General Terms Algorithms, Design, Experimentation, Performance Keywords Cartesian genetic programming (CGP, embedded cartesian
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Subject Terms: D.2.13 [Software Engineering, Reusable Software–Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming– Program synthesis General Terms Experimentation, Languages Keywords reuse, program synthesis, mining
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.4415; http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf
-
15
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods and Search General Terms Algorithms, Design, Performance Keywords Cartesian Genetic Programming, optimization, crossover
File Description: application/pdf
-
16
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods and Search General Terms Algorithms, Design, Performance Keywords Cartesian Genetic Programming, Real-valued Function Optimisation, Modules, Evolutionary Programming
File Description: application/pdf
-
17
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—lambda calculus and related systems General Terms Experimentation, Languages, Theory Keywords genetic programming
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.2080; http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p2415.pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms Experimentation, Measurement, Performance Keywords Genetic Programming, Computational Effort, Confidence Intervals, Wilson’s Method
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706; http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf
-
19
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods and Search General Terms Algorithms, Design, Performance Keywords Cartesian Genetic Programming, Embedded Cartesian Genetic Programming, Module Acquisition, Automatically Defined Functions, Evolution, Lawnmower problem, Hierarchical-if-and-only-if
File Description: application/pdf
-
20
Industrial Experience with Building a Web Portal Product Line using a Lightweight, Reactive Approach
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.2 [SOFTWARE ENGINEERING, Design Tools and Techniques, D.2.10 [SOFTWARE ENGINEERING, Design – Representations, D.2.13 [SOFTWARE ENGINEERING, Reusable Software- Domain engineering, D.1.2 [PROGRAMMING TECHNIQUES, Automatic Programming – Program synthesis, General Terms Design, Languages, Experimentation Keywords Web engineering, reuse, software product lines, maintenance, static meta-programming
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.1340; http://www.comp.nus.edu.sg/~stan/PAPERS/Portal.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science