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...
| Päätekijä: | |
|---|---|
| Muut tekijät: | , , , , , |
| Aineistotyyppi: | Pro gradu |
| Kieli: | fin |
| Julkaistu: |
2021
|
| Aiheet: | |
| Linkit: | https://jyx.jyu.fi/handle/123456789/74998 |