792 search results - page 103 / 159 » Static Analysis of XSLT Programs |
114
Voted
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
105
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
141
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
144
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-ļ¬nding, speciļ¬cation inference, veriļ¬cation, and test generation. This paper addresses demand-driven symbolic analysi...
115
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...