A Typed Assembly Language for Real-Time Programs - CiteSeerX

7 downloads 26551 Views 44KB Size Report
nation of real-time tasks. E code specifies a deadline for each task, and the type system ensures that the deadlines are path-insensitive. We show that typed E ...