2091 search results - page 4 / 419 » On Regions and Linear Types |
APLAS
2004
ACM
14 years 25 days ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
IFIP12
2007
13 years 8 months ago
2007
In this paper previous work on the detection of high-level concepts within multimedia documents is extended by introducing a mid-level ontology as a means of exploiting the visual ...
IANDC
2002
13 years 7 months ago
2002
GIS
2011
ACM
12 years 11 months ago
2011
ACM
Data conflation is a major issue in GIS: different geospatial data sets covering overlapping regions, possibly obtained from different sources and using different acquisition ...