2370 search results - page 300 / 474 » On the Revival of Dynamic Languages |
203
click to vote
LCTRTS
2005
Springer
16 years 19 days ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
236
click to vote
WCRE
2003
IEEE
16 years 12 days ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
218
click to vote
PLDI
2003
ACM
16 years 11 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
222
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
Although visual programming techniques have been used to lower the threshold of programming for end users, they are not sufficient for creating end user programming environments t...
222
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...