173 search results - page 5 / 35 » Incremental algorithms for dispatching in dynamically typed ... |
POPL
1997
ACM
14 years 1 days ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
ECOOP
2006
Springer
13 years 9 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
POPL
1994
ACM
13 years 12 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...
HIPEAC
2011
Springer
12 years 7 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
ECOOP
1999
Springer
14 years 3 days ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...