Universitetsvej 1, 43.2

DK-4000, Roskilde

Danmark

Forskningsområder

  • Datalogi, IT Denotationel semantik Flerniveau sprog Fortolkere og køretidssystemer Højere-ordens programmeringssprog Operationel semantik Oversættere Program generation Programanalyse programmering Programspecialisation Semantik af programmeringssprog Typesystemer

Vis alle »

Vis alle »

ID: 3565