956 search results - page 5 / 192 » Dimensions in program synthesis |
CAV
2010
Springer
15 years 4 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
15 years 9 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...
69
Voted
ICSE
2009
IEEE-ACM
16 years 29 days ago
2009
IEEE-ACM
76
Voted
ESA
2003
Springer
15 years 5 months ago
2003
Springer
GECCO
2003
Springer
15 years 5 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...