134 search results - page 6 / 27 » A Haskell Implementation of a Rule-Based Program Transformat... |
234
Voted
AAIP
2009
15 years 3 months ago
2009
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...
109
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...
136
Voted
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
107
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
106
Voted
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...