1452 search results - page 142 / 291 » Algorithmic Analysis of Array-Accessing Programs |
100
Voted
CC
2004
Springer
15 years 6 months ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
105
Voted
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...
103
click to vote
ECOOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
128
click to vote
ICALP
2011
Springer
14 years 4 months ago
2011
Springer
Competitive analysis is the established tool for measuring the output quality of algorithms that work in an online environment. Recently, the model of advice complexity has been in...
130
click to vote
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...