60 search results - page 2 / 12 » A typed assembly language for real-time programs |
PLDI
2010
ACM
13 years 9 months ago
2010
ACM
EMSOFT
2004
Springer
13 years 10 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
ASIAN
2007
Springer
13 years 10 months ago
2007
Springer
POPL
1998
ACM
13 years 8 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
ESOP
2006
Springer
13 years 8 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...