Department of Computer Science and Engineering

Faculty of Electrical Engineering

Czech Technical University

Leader: Karel Richta

Research Objectives:

• XML Native Databases: concepts, transactional processing, ECA (Event-Condition-Action) processing.
• Language interpreters, debuggers, and virtual machines.
• Functional approach to XML processing.
• Lambda-calculus based languages for XML processing.
• Frameworks for DB modelling based on formal methods.
• Program transformation systems.
• Software development tools.

Dosavadní obsah naleznete na: http://swing.felk.cvut.cz/old