Object-oriented programming lauguage, Compilers and interpreters, Domain-specific language, Functional programming, Global computing, Models and logic for interactive systems, Modern logic, Object-oriented programming, 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
Object-oriented programming lauguage, Distributed software systems, Object-oriented analysis and design, Object-oriented modelling, Object-oriented programming, Object-oriented software systems, Software Systems for pervasive computing, Software architecture, Software development tools, Vitual/abstract machines