Universitetsvej 1

Bygning: 08.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