619 search results - page 69 / 124 » The Design and Implementation of a Certifying Compiler |
120
click to vote
HASKELL
2007
ACM
15 years 3 months ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
ENTCS
2008
14 years 12 months ago
2008
In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The ...
PROCEDIA
2010
14 years 6 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
157
click to vote
SIGMOD
2009
ACM
16 years 1 days ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
100
click to vote
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...