792 search results - page 3 / 159 » Static Analysis of XSLT Programs |
SIGADA
1998
Springer
13 years 9 months ago
1998
Springer
MICRO
1994
IEEE
13 years 9 months ago
1994
IEEE
: Program profiles identify frequently executed portions of a program, which are the places at which optimizations offer programmers and compilers the greatest benefit. Compilers, ...
ICLP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...