3056 search results - page 131 / 612 » Compiling Embedded Languages |
ICS
1998
Tsinghua U.
14 years 16 days ago
1998
Tsinghua U.
The goal of High Performance Fortran (HPF) is to "address the problems of writing data parallel programs where the distribution of data affects performance", providing t...
PST
2008
13 years 9 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
CASES
2006
ACM
14 years 1 days ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
CC
2004
Springer
14 years 1 months ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
VMCAI
2012
Springer
12 years 3 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...