Bachelor and Master Theses

Title: Type-directed Generation and Shrinking for Imperative Programming Languages
Subject: Computer Science
Level: Basic
Description:
Prel. end date: 2018-06-04
Presentation date: 2018-06-04
Student: Samuel Bodin
Student: Joel Söderman
IDT supervisors:
Daniel Hedin
daniel.hedin@mdh.se
     
Examinator: Björn Lisper
Björn Lisper
bjorn.lisper@mdh.se, +46-21-151709

Rapport och bilagor

Size

Senaste uppdatering

TR2218.pdf

543288

2018-06-04, 16:36


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2018.05.24