Sciweavers

2 search results - page 1 / 1
» Generalizable safety annotations for specification of failur...
Sort
View
57
Voted
SPE
2010
91views more  SPE 2010»
14 years 5 months ago
Generalizable safety annotations for specification of failure patterns
Ian Wolforth, Martin Walker, Lars Grunske, Yiannis...
SCP
2008
144views more  SCP 2008»
14 years 10 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...