147 search results - page 20 / 30 » Compiling C Programs into a Strongly Typed Assembly Language |
155
Voted
LCTRTS
2010
Springer
15 years 13 days ago
2010
Springer
Chip multiprocessors (CMPs) are expected to be the building blocks for future computer systems. While architecting these emerging CMPs is a challenging problem on its own, program...
103
click to vote
SIGADA
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
110
Voted
CASES
2008
ACM
15 years 4 months ago
2008
ACM
In this paper, we introduce Optimus: an optimizing synthesis compiler for streaming applications. Optimus compiles programs written in a high level streaming language to either so...
217
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
195
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....