88 search results - page 18 / 18 » Reasoning about the unknown in static analysis |
ICPP
1994
IEEE
13 years 9 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
ESOP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...