1497 search results - page 104 / 300 » Extended static checking |
SEFM
2008
IEEE
14 years 4 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...
FOIKS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
XSYM
2004
Springer
14 years 3 months ago
2004
Springer
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
CSMR
1999
IEEE
14 years 2 months ago
1999
IEEE
The comprehension of the dynamic and static structure of a system is of main importance for purposes of adding features, bug solving, and for redesign activities. This holds parti...
ICPP
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper extended a mathematical technique to model the behaviour of token-passing protocol in a star-coupled wavelength-division multiplexing (WDM) optical network for traffic ...