Aarhus University Seal

For students
For PhDs
For employees
Departments and faculties
AU Library

IT, Computer Science and Mathematics › Software Systems › Compilers and interpreters

1 - 3 out of 3Page size: 100

10
25
50
100
500

Sort by: Last name

Last name

Danvy, Olivier
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, Program analysis and transformations, 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
Compilers and interpreters, Program analysis and transformations, Programming languages and formal models
Møller, Anders
Compilers and interpreters, Program analysis and transformations, Programming languages and formal models, Software specification and verification, Webtechnology