906 search results - page 83 / 182 » Language and program design for functional dependencies |
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
102
click to vote
WORDS
2003
IEEE
15 years 3 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
105
click to vote
CPHYSICS
2007
14 years 10 months ago
2007
An improved version of the function estimation program GDF is presented. The main enhancements of the new version include: multi-output function estimation, capability of definin...
106
click to vote
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...