The sparsebit package

[Tags: bsd3, library]

Pattern matching coverage over Algebraic Data Types(ADTs) has most often been studied in the context of pattern compilation algorithms. However, it is worth considering the pattern matching coverage problem in isolation, since general solutions will be independent of the specifics of any implementation or language. We define an intuitive and mathematically well-established bit masking semantics for pattern match coverage. We design and implement a sparse bitmap data structure, which realizes this semantics in a compact and flexible manner. This bitmap data structure supports computing coverage solutions of large programs incrementally from coverage solutions of sub-programs. It can also be used as a common data representation for pattern coverage shared between different tools (e.g., compilers, linting tools, software analysis tools) that need pattern match coverage information.


Properties

Versions0.1, 0.2, 0.3, 0.5
Dependenciesbase, haskell98
LicenseBSD3
AuthorAhn, Ki Yung
MaintainerAhn, Ki Yung <kya@pdx.edu>
CategoryDevelopment, Data Structures
Home pagehttp://kyagrd.dyndns.org/wiki/SparseBitmapsForPatternMatchCoverage
Upload dateTue Mar 10 09:53:49 UTC 2009
Uploaded byKiYungAhn
Downloads243 total (14 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees