589 search results - page 39 / 118 » Io: a small programming language |
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
ACL
2012
12 years 15 days ago
2012
In this work we present two extensions to the well-known dynamic programming beam search in phrase-based statistical machine translation (SMT), aiming at increased efficiency of ...
SOSP
1997
ACM
13 years 11 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
TIC
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...