Scoped types for real-time Java (2004)


Download Links

by Tian Zhao
Venue:In Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS04
Citations:36 - 14 self

Documents Related by Co-Citation

234 The Real-Time Specification for Java – Greg Bollella, Ben Brosgol, Peter Dibble, Steve Furr, James Gosling, David Hardin, Mark Turnbull - 2000
91 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
209 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
330 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
32 Real-time java scoped memory: Design patterns and semantics – F Pizlo, J M Fox, D Holmes, J Vitek - 2004
31 A Real-time Java virtual machine with applications in avionics – Austin Armbuster, Jason Baker, Antonio Cunei, David Holmes, Chapman Flack, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek
192 Islands: Aliasing protection in object-oriented languages – J Hogg - 1991
21 Eventrons: a safe programming construct for high-frequency hard realtime applications – D Spoonhower, J Auerbach, D F Bacon, P Cheng, D Grove - 2006
12 An empirical evalutation of memory management alternatives for Real-time Java – F PIZLO, J VITEK - 2006
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
29 StreamFlex: high-throughput stream programming in java – Jesper H. Spring, Jean Privat, Rachid Guerraoui, Jan Vitek - 2007
63 Pluggable type systems – Gilad Bracha - 2004
87 Strongtalk: Typechecking Smalltalk in a Production Environment – Gilad Bracha, David Griswold - 1993
64 T.: A framework for implementing pluggable type systems – C Andreae, J Noble, S Markstrum, Millstein - 2006
19 Java Takes Flight: Timeportable Real-Time Programming with Exotasks – J Auerbach, D Bacon, D Iercan, C Kirsch, V Rajan, H Röck, R Trummer - 2007
30 An Implementation of Scoped Memory for Real-Time Java – William S. Beebee, Jr., Martin Rinard - 2001
18 Type-Based Confinement – T ZHAO, J PALSBERG, J VITEK
12 Programming with non-heap memory in the real-time specification for Java – Greg Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Daniel Dvorak, Brian Giovannoni, Mark Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz - 2003
13 Reflexes: Abstractions for Highly Responsive Systems – Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek - 2007