416 search results - page 68 / 84 » The ruby intermediate language |
187
Voted
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
173
Voted
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
205
Voted
PLDI
2003
ACM
16 years 19 hour 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...
214
Voted
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Estimating frequency moments and Lp distances are well studied problems in the adversarial data stream model and tight space bounds are known for these two problems. There has been...
185
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Relational databases hold a vast quantity of information and making them accessible to the web is an big challenge. There is a need to make these databases accessible with as litt...