792 search results - page 17 / 159 » Static Analysis of XSLT Programs |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
FASE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
IWPC
2009
IEEE
14 years 3 months ago
2009
IEEE
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...
DAGSTUHL
2006
13 years 9 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
ICLP
1999
Springer
14 years 22 days ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...