3056 search results - page 206 / 612 » Compiling Embedded Languages |
PST
2008
15 years 8 days ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
Abstract. We present a matrix language compiler CMC which translates annotated MATLAB scripts into Fortran 90 programs. Distinguishing features of CMC include its applicability to ...
85
Voted
DELTA
2010
IEEE
15 years 3 months ago
2010
IEEE
High level hardware description languages aim to make hardware design more like programming software. These languages are often used to accelerate legacy software algorithms by ...
ICLP
1998
Springer
15 years 3 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
WADT
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...