3056 search results - page 73 / 612 » Compiling Embedded Languages |
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
83
Voted
CC
2005
Springer
15 years 7 months ago
2005
Springer
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
109
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
121
Voted
ENTCS
2010
15 years 2 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...