HOME
|
DEUTSCH
|
IMPRESSUM
|
KIT
Programming paradigms group - IPD Snelting
About us
People
Publications
Projects
Courses
Jobs
Theses
available
assigned
completed
Contact/Location
masters thesis
(obsolete):
Data Flow Analysis meets Program Synthesis
Please see German version.
Advisors
Former Staff Member
M.Sc. Andreas Fried