7124 search results - page 3 / 1425 » Programming Languages and Operating Systems |
115
Voted
DSL
2009
14 years 11 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
120
Voted
CLIMA
2009
14 years 11 months ago
2009
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
91
Voted
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
92
Voted
ICFP
2005
ACM
16 years 1 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...
81
Voted
ADAEUROPE
2008
Springer
15 years 7 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...