3056 search results - page 73 / 612 » Compiling Embedded Languages |
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
CC
2005
Springer
15 years 3 months ago
2005
Springer
GPCE
2005
Springer
15 years 3 months ago
2005
Springer
ICLP
2010
Springer
15 years 1 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...
ENTCS
2010
14 years 10 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...