792 search results - page 70 / 159 » Static Analysis of XSLT Programs |
97
Voted
ISORC
2007
IEEE
15 years 7 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
104
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
106
click to vote
FOAL
2007
ACM
15 years 4 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
98
Voted
CSREAESA
2004
15 years 2 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
109
click to vote
CC
2004
Springer
15 years 6 months ago
2004
Springer
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...