313 search results - page 30 / 63 » Static analysis for syntax objects |
SEFM
2008
IEEE
14 years 2 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
PTS
2010
13 years 5 months ago
2010
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
ICCAD
2000
IEEE
14 years 4 days ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
COSIT
2007
Springer
13 years 11 months ago
2007
Springer
Previous work is reviewed and an experiment described to examine the spatial and strategic cognitive factors impacting on human orientation in the `drop-off' static orientatio...
C++
1994
13 years 9 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...