HOME | DEUTSCH | IMPRESSUM | KIT

masters thesis (finished): hsreduce: Minimising Haskell programs

Description currently only available in German. Translation to English is possible, if requested. 

Publications

Publication
Test-Case Reduction for Haskell Programs

Advisors

Scientific Staff
Sebastian Graf

Students

former tutors
Daniel Krüger

PDF:

pdf