3056 search results - page 99 / 612 » Compiling Embedded Languages |
CORR
2011
Springer
12 years 12 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
ICFP
2000
ACM
14 years 17 days ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
JAR
2008
13 years 8 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
ISHPC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The OpenMP Architecture Review Board has released version 2.0 of the OpenMP Fortran language specification in November 2000, and version 2.0 of the OpenMP C/C++ language...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...