1002 search results - page 94 / 201 » Reasoning about Object Structures Using Ownership |
231
click to vote
POPL
1999
ACM
15 years 9 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
282
Voted
GIS
2006
ACM
16 years 5 months ago
2006
ACM
If you were told that some object A was perfectly (or somewhat, or not at all) in some direction (e.g., west, above-right) of some reference object B, where in space would you loo...
285
click to vote
CSL
2011
Springer
14 years 11 months ago
2011
Springer
How much can we infer about the pronunciation of a language – past or present – by observing which words its speakers rhyme? This paper explores the connection between pronunc...
142
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
121
click to vote
RAID
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present an accurate and realtime PE-Miner framework that automatically extracts distinguishing features from portable executables (PE) to detect zero-day (i.e. pr...