147 search results - page 1 / 30 » Compiling C Programs into a Strongly Typed Assembly Language |
ASIAN
2007
Springer
13 years 11 months ago
2007
Springer
CC
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
APLAS
2007
ACM
13 years 8 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
HASKELL
2006
ACM
13 years 10 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
TIC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...