1002 search results - page 94 / 201 » Reasoning about Object Structures Using Ownership |
211
Voted
POPL
1999
ACM
15 years 6 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 ¡...
256
Voted
GIS
2006
ACM
16 years 3 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...
243
click to vote
CSL
2011
Springer
14 years 9 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...
116
click to vote
PLDI
2005
ACM
15 years 7 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...
97
Voted
RAID
2009
Springer
15 years 8 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...