Scoped Types for Real-Time Java.

Tian Zhao, James Noble, Jan Vitek

Browse the full RTSS paper archive.