Department of Computer Science

You are here: Department of Computer Science » Contact » Researchers

Contact

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

Back to search

1 - 6 out of 6Page size: 100
Sort by: Last name

  1. 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

      • Ernst, Erik

        Programming languages and formal models, Compilers and interpreters, Object-oriented programming, Object-oriented programming lauguage, Semantics of programming language, Software development tools, Type systems, Vitual/abstract machines

        • 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