4716 search results - page 35 / 944 » Iterative-free program analysis |
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
ADC
2004
Springer
14 years 3 months ago
2004
Springer
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible ...
ADAEUROPE
2003
Springer
14 years 1 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
Book
"This book is an edited collection of class handouts that was written for the graduate seminar [Programming for Medical Image Analysis] (ENAS 920a). This class was taught at Y...
ECOOP
1995
Springer
14 years 1 months ago
1995
Springer
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise information about the possible classes of the receivers...