4719 search results - page 220 / 944 » Newtonian program analysis |
255
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
129
Voted
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
150
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
166
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
137
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...