Organisations
Management Information Systems (MIS) University of Antwerp
Programming Technology Lab Vrije Universiteit Brussel
The Programming Technology Lab (Prog for short) is a research and teaching lab within the VUB's Department of Computer Science. From a research perspective, Prog has always been active in the broad domains of software engineering and programming language engineering. In the former domain, our research consists of designing, implementing and formalising meta level techniques that support programming and modelling activities. In the latter ...
Informatics Section KU Leuven
- Study of declarative programming languages (logic & functional) and their applications. - Efficient implementation of declarative programming languages. - Development tools for declarative programming languages, incl. tools for program analysis, verification and transformation & tools based on abstract interpretation. - Knowledge representation & reasoning in logic programming, representation of open knowledge domains, ...