709 search results - page 55 / 142 » Type Checking in XOBE |
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
This paper proposes a method for extracting subimages from a huge reference image by using lifting wavelet transforms that map integers to integers. Our integertype lifting wavele...
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
CONCUR
2007
Springer
14 years 22 days ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
ER
2009
Springer
14 years 20 days ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...