Proving Type Class Laws in Haskell
| dc.contributor.author | Arvidsson, Andreas | |
| dc.contributor.author | Touche, Robin | |
| dc.contributor.department | Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers) | sv |
| dc.contributor.department | Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers) | en |
| dc.date.accessioned | 2019-07-03T14:16:12Z | |
| dc.date.available | 2019-07-03T14:16:12Z | |
| dc.date.issued | 2016 | |
| dc.description.abstract | Type classes in Haskell are a way to ensure both the programmer and the compiler that a set of functions are defined for a specific data type. Each instance of such functions is often expected to behave in a certain way and satisfy laws associated with the respective class. These are commonly stated in comments and as such there is no real way to enforce this behavior other than by rigorous testing. This thesis presents a tool able to prove such laws using induction and external theorem provers. The tool is an extension of an already existing system, HipSpec, with the added functionality of being able to handle type classes. Using this extended HipSpec, users can automatically prove laws for instances of built-in type classes, as well as de ne and prove laws for their own type classes. We discover that this is a very promising approach which has several advantages over similar systems. | |
| dc.identifier.uri | https://hdl.handle.net/20.500.12380/238929 | |
| dc.language.iso | eng | |
| dc.setspec.uppsok | Technology | |
| dc.subject | Data- och informationsvetenskap | |
| dc.subject | Informations- och kommunikationsteknik | |
| dc.subject | Computer and Information Science | |
| dc.subject | Information & Communication Technology | |
| dc.title | Proving Type Class Laws in Haskell | |
| dc.type.degree | Examensarbete för masterexamen | sv |
| dc.type.degree | Master Thesis | en |
| dc.type.uppsok | H | |
| local.programme | Computer science – algorithms, languages and logic (MPALG), MSc |
Ladda ner
Original bundle
1 - 1 av 1
Hämtar...
- Namn:
- 238929.pdf
- Storlek:
- 658.06 KB
- Format:
- Adobe Portable Document Format
- Beskrivning:
- Fulltext