Former Master Students

Top

  • Drs. Lukas Spee
    • Subject: constraint-based, polyvariant strictness analysis based on the paper by Glynn, Stuckey and Sulzmann on strictness typing and inferencing to our constraint based method.
    • Form: internal master thesis project
    • Download: Master Thesis
    • Thesis site (restricted access)

Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf lukasspee-masterthesis.pdf manage 333.9 K 01 Dec 2004 - 09:47 JurriaanHage Lukas Spee Master Thesis