792 search results - page 62 / 159 » Static Analysis of XSLT Programs |
99
Voted
ICTAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
ENTCS
2006
15 years 24 days ago
2006
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...
108
Voted
ICPP
1998
IEEE
15 years 5 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
126
click to vote
ICDCIT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
196
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...