4
Publications
74
Citations
4
H-Index
1994
Active since
Affiliations
Dirk Dussart is an author at KU Leuven specializing in formal methods, program analysis, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSyntaxLanguageCompilersLinguisticsSoftware Design
Publications per year
1994–1997
4
4
Improving CPS-based partial evaluation: writing cogen by hand
Anders Bondorf, Dirk Dussart · 1994 · 27 citations
Polyvariant constructor specialisation
Dirk Dussart, Eddy Bevers, Karel De Vlaminck · 1995 · 21 citations · Full text
Type specialisation for imperative languages
Dirk Dussart, John Hughes, Peter Thiemann · 1997 · 15 citations
Module-sensitive program specialisation
Dirk Dussart, Rogardt Heldal, John Hughes · 1997 · 11 citations
Rows per page
1–4 of 4