2520 search results - page 8 / 504 » Alias Types and Effects for |
PEPM
2009
ACM
14 years 5 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
TYPES
2007
Springer
14 years 2 months ago
2007
Springer
IV
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...