Sciweavers

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