570 search results - page 2 / 114 » From Program Verification to Program Synthesis |
IFIP
1999
Springer
13 years 9 months ago
1999
Springer
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
PEPM
2012
ACM
12 years 27 days ago
2012
ACM
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
ECBS
1999
IEEE
13 years 9 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
The use of machine learning techniques to automatically analyse data for information is becoming increasingly widespread. In this paper we examine the use of Genetic Programming a...