956 search results - page 5 / 192 » Dimensions in program synthesis |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
PLDI
2010
ACM
14 years 7 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
ESA
2003
Springer
14 years 3 months ago
2003
Springer
GECCO
2003
Springer
14 years 3 months ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...