Specifying and verifying sparse matrix codes
From MaRDI portal
Publication:5176944
DOI10.1145/1863543.1863581zbMath1323.68197OpenAlexW2130586555MaRDI QIDQ5176944
Ali Sinan Köksal, Gilad Arnold, Rastislav Bodík, Mooly Sagiv, Johannes Hölzl
Publication date: 5 March 2015
Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1863543.1863581
Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
This page was built for publication: Specifying and verifying sparse matrix codes
