You are here:
»
Researchers
About Aarhus University
IT, Computer Science and Mathematics › Theoretical Computer Science › Semantics of programming language
Danvy, Olivier
Semantics of programming language, 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, Software development tools, Teaching in programming and software development, Technology with learning potential, Tools based on partial evaluation, Type systems, Vitual/abstract machines