7124 search results - page 137 / 1425 » Programming Languages and Operating Systems |
99
Voted
FPCA
1991
15 years 6 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
95
Voted
IWMM
2004
Springer
15 years 8 months ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
113
Voted
AVI
1998
15 years 3 months ago
1998
ABSTRACT. The paper presents SIAMOA, a system dedicated for design, debugging and visualisation of algorithms. It combines elements of an algorithm visualisation system and an envi...
95
Voted
ENTCS
2006
15 years 2 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...
97
Voted
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...