.TL .sp 5 Lint, a C Program Checker .AU Frans Kunst .AI Vrije Universiteit Amsterdam .LP .sp 8 .ce Afstudeer verslag .ce 18 mei 1988