2520 search results - page 21 / 504 » Alias Types and Effects for |
ESERNET
2003
Springer
14 years 1 months ago
2003
Springer
The origin of the study described here is the experiment performed by Basili and Selby, further replicated by Kamsties and Lott, and once again by Wood et al. These experiments inv...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
ECOOP
2007
Springer
14 years 12 days ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
ICPR
2010
IEEE
14 years 3 months ago
2010
IEEE
—We describe a pipeline for structure-from-motion with mixed camera types, namely omnidirectional and perspective cameras. The steps of the pipeline can be summarized as calibrat...
IWEC
2003
13 years 9 months ago
2003
: The results of an empirical study are presented to investigate the relationship between different action types (real versus virtual shooting) and different target types (real ver...