3688 search results - page 183 / 738 » Static analysis of aspects |
155
click to vote
NECO
2006
15 years 6 months ago
2006
In this paper we introduce some mathematical and numerical tools to analyze and interpret inhomogeneous quadratic forms. The resulting characterization is in some aspects similar ...
135
click to vote
JGS
2000
15 years 6 months ago
2000
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
184
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
155
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
142
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
This paper deals with the problem of estimating the effort required to maintain a static pose by human beings. The problem is important in developing effective pose classification ...