3 search results - page 1 / 1 » Geometry of Synthesis II: From Games to Delay-Insensitive Ci... |
107
Voted
ENTCS
2010
15 years 1 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
215
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
109
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...