6960 search results - page 116 / 1392 » Continuity Analysis of Programs |
ADC
2004
Springer
15 years 8 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 ...
113
click to vote
ADAEUROPE
2003
Springer
15 years 6 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...
306
click to vote
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...
157
click to vote
ECOOP
1995
Springer
15 years 6 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...
162
click to vote
TRIER
2002
15 years 2 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...