1190 search results - page 29 / 238 » A type and effect system for atomicity |
WCRE
2005
IEEE
14 years 29 days ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Off-The-Shelf (OTS) software components are being used within complex safety-critical applications. However, to use these untrustworthy components with confidence, it is necessary...
INTERACT
2007
13 years 8 months ago
2007
In many systems such as PDAs, users access data through a limited viewport. This means that users have to frequently navigate to regions that are off-screen to view important conte...
JCS
2007
13 years 7 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
TIC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...