Aarhus University Seal

For students
For PhDs
For employees
Departments and faculties
AU Library

IT, Computer Science and Mathematics › Theoretical Computer Science › Program analysis and transformations

1 - 4 out of 4Page size: 100

10
25
50
100
500

Sort by: Last name

Last name

Birkedal, Lars
Program analysis and transformations, Functional programming, Programming languages and formal models
Danvy, Olivier
Program analysis and transformations, Compilers and interpreters, Domain-specific language, Functional programming, Global computing, Models and logic for interactive systems, Modern logic, Object-oriented programming, Object-oriented programming lauguage, Partial evaluation and normalisation, Philosophy of science, Programming languages and formal models, Semantics of programming language, Software development tools, Teaching in programming and software development, Technology with learning potential, Tools based on partial evaluation, Type systems, Vitual/abstract machines
Dong, Yifan
Program analysis and transformations, Compilers and interpreters, Programming languages and formal models
Møller, Anders
Program analysis and transformations, Compilers and interpreters, Programming languages and formal models, Software specification and verification, Webtechnology