Find

For students
For PhDs
For employees

Department of Computer Science

Aarhus University Seal

IT, Computer Science and Mathematics › Theoretical Computer Science › Programming languages and formal models

1 - 6 out of 6Page size: 100

10
25
50
100
500

Sort by: Last name

Last name

Birkedal, Lars
Programming languages and formal models, Functional programming, Program analysis and transformations
Danvy, Olivier
Programming languages and formal models, 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, 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
Programming languages and formal models, Compilers and interpreters, Program analysis and transformations
Jensen, Kurt
Programming languages and formal models, Capacity planning, Experimental systems development, Model-driven systems development, Modelling and validation of distributed systems (Coloured Petri Nets), Simulation and analysis tools, Software specification and verification
Møller, Anders
Programming languages and formal models, Compilers and interpreters, Program analysis and transformations, Software specification and verification, Webtechnology
Spitters, Bas
Programming languages and formal models, Cryptology, Functional programming, Semantics of programming language