1294 search results - page 138 / 259 » FFT Compiler Techniques |
141
Voted
ESOP
2006
Springer
15 years 7 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 ...
153
Voted
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
156
Voted
ICLP
1995
Springer
15 years 7 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
120
Voted
ASPLOS
1991
ACM
15 years 7 months ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
138
Voted
IADIS
2008
15 years 5 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...