Department of Computer Science

Danish

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 - 5 out of 5Page size: 100
Sort by: Last name

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

          • Schwartzbach, Michael I.

            Programming languages and formal models, Compilers and interpreters, Domain-specific language, Functional programming, Object-oriented analysis and design, Object-oriented modelling, Object-oriented programming, Object-oriented programming lauguage, Program analysis and transformations, Semantics of programming language, Softeware architecture, Software development tools, Software specification and verification, Type systems, Vitual/abstract machines, Web services, Webtechnology