3056 search results - page 6 / 612 » Compiling Embedded Languages |
106
Voted
HASKELL
2009
ACM
15 years 7 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...
108
Voted
ASPLOS
2006
ACM
15 years 4 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. ...
109
Voted
TYPES
2004
Springer
15 years 6 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...
146
Voted
CASES
2007
ACM
15 years 2 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...
101
Voted
ICESS
2005
Springer
15 years 6 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...