© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Strictcheck: a tool for testing whether a function is unnecessarily strict
Olaf Chitil
Technical Report 2-11, University of Kent, School of Computing, June 2011.Abstract
In a non-strict functional programming language functions that yield the same result for all total arguments can still differ for partial arguments, that is, they differ in their strictness. Here a tool for Haskell is presented that enables the programmer to easily check whether a given function is least-strict; if it is not least-strict, then the tool suggests how to make it less strict.
Download publication 126 kbytes (PDF)Bibtex Record
@techreport{3134, author = {Olaf Chitil}, title = {StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict}, month = {June}, year = {2011}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2011/3134}, publication_type = {techreport}, submission_id = {14268_1309194045}, institution = {University of Kent, School of Computing}, number = {2-11}, }