Aarhus University logo
Dansk
Back to search
Teaching in programming and software development, Distributed software systems, Experimental systems development, Software architecture
Teaching in programming and software development, 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, Technology with learning potential, Tools based on partial evaluation, Type systems, Vitual/abstract machines
