Sciweavers

2 search results - page 1 / 1
» Generalizable safety annotations for specification of failur...
Sort
View
SPE
2010
91views more  SPE 2010»
12 years 11 months ago
Generalizable safety annotations for specification of failure patterns
Ian Wolforth, Martin Walker, Lars Grunske, Yiannis...
SCP
2008
144views more  SCP 2008»
13 years 4 months ago
Implicit ownership types for memory management
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
Tian Zhao, Jason Baker, James Hunt, James Noble, J...