2607 search results - page 1 / 522 » Complete Functional Synthesis |
PLDI
2010
ACM
14 years 2 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...
CAV
2010
Springer
13 years 8 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...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
ACSD
2010
IEEE
13 years 2 months ago
2010
IEEE
Self-timed circuits present an attractive solution to the problem of process variation. However, implementing selftimed combinational logic can be complex and expensive. This pape...