3056 search results - page 6 / 612 » Compiling Embedded Languages |
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
ASPLOS
2006
ACM
13 years 11 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...
TYPES
2004
Springer
14 years 1 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
CASES
2007
ACM
13 years 9 months ago
2007
ACM
Aggressive compiler optimizations such as software pipelining and loop invariant code motion can significantly improve application performance, but these transformations often re...
ICESS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...