669 search results - page 45 / 134 » Haskell program coverage |
GCSE
1999
Springer
14 years 1 months ago
1999
Springer
Aspect-orientedprogramming provides theprogrammer with means to cross-cut conventional program structures, in particular the class hierarchies of object-oriented programming. This ...
ACMSE
2006
ACM
14 years 19 days ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
ICML
2008
IEEE
14 years 9 months ago
2008
IEEE
In inductive logic programming, subsumption is a widely used coverage test. Unfortunately, testing -subsumption is NP-complete, which represents a crucial efficiency bottleneck fo...
PADL
1999
Springer
14 years 1 months ago
1999
Springer
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...
ESOP
2000
Springer
14 years 14 days ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...