83 search results - page 8 / 17 » Optimizing Dynamic Class Composition in a Statically Typed L... |
123
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...
134
click to vote
COORDINATION
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
172
Voted
POPL
1998
ACM
15 years 6 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
145
click to vote
ECOOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
117
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...