669 search results - page 3 / 134 » Haskell program coverage |
HASKELL
2007
ACM
14 years 19 days ago
2007
ACM
PEPM
2010
ACM
14 years 5 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciď...
HASKELL
2005
ACM
14 years 2 months ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
HASKELL
2008
ACM
13 years 9 months ago
2008
ACM
HASKELL
2007
ACM
14 years 19 days ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...