Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla
Tutkielman tavoitteena on luoda toimiva kirjasto ariteetti- ja tietotyyppigeneeristä ohjelmointia varten. Ariteetti- ja tietotyyppigeneerinen ohjelmointi edesauttaa toisteisen lähdekoodin määrän vähentämistä sekä määritelmien uudelleenkäyttöä, mikä helpottaa lähdekoodin ylläpitoa ja vähentää yksinke...
| Main Author: | |
|---|---|
| Other Authors: | , , , , , |
| Format: | Master's thesis |
| Language: | fin |
| Published: |
2021
|
| Subjects: | |
| Online Access: | https://jyx.jyu.fi/handle/123456789/74998 |