792 search results - page 115 / 159 » Static Analysis of XSLT Programs |
130
Voted
COORDINATION
2009
Springer
16 years 3 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
142
Voted
SECON
2007
IEEE
15 years 9 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
118
click to vote
ECOOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
124
Voted
IPPS
2010
IEEE
15 years 16 days ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
150
Voted
IEEEARES
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...