3056 search results - page 339 / 612 » Compiling Embedded Languages |
120
Voted
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
Computer science faculty must attract and retain students by offering innovative courses that spark student interest, yet still teach core, computer science concepts. These effort...
104
Voted
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
118
click to vote
FCCM
2008
IEEE
15 years 8 months ago
2008
IEEE
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
111
click to vote
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...