Specifying and verifying sparse matrix codes
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv
Specifying and verifying sparse matrix codes
ICFP, 2010.

ICFP 2010
Full names Links ISxN
	author        = "Gilad Arnold and Johannes Hölzl and Ali Sinan Köksal and Rastislav Bodík and Mooly Sagiv",
	booktitle     = "{Proceedings of the 15th International Conference on Functional Programming}",
	doi           = "10.1145/1863543.1863581",
	editor        = "Paul Hudak and Stephanie Weirich",
	isbn          = "978-1-60558-794-3",
	pages         = "249--260",
	publisher     = "{ACM}",
	title         = "{Specifying and verifying sparse matrix codes}",
	year          = 2010,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.