Project Number: 004250

Short Description: Algebraic tehcniques for typed processes; combination of types with techniques from term rewriting to ensure properties of termination; information flow type systems that enforce non-interference for realistic assembly languages and preserved through compilation from high level languages; logical formulations of non-interference. Application to advances programming constructs of types for: specifying the state transitions of a protocol (session types); statically ensuring bounds on the resources needed for the execution of concurrent systems. Techniques based on control flow analysis for problems of access control policies based on stack inspection. An abstract machine for the execution of Safe Ambients that improves the efficiency of the machine designed in Year 1. Some experiments with integration of type systems to the verification tools developed

Digital Dialogue Games (DDGs): Cross-institutional implementation and evaluation of digital dialogue games for inclusive and personalised learning

Project funded by the European Community under the “Information Society Technology” Programme (1998-2002) Project Number: IST-2001-33376

This paper recovers and describes a number of major statements with respect to the vision, mission and technological approaches of the Technological Research

Abstract not found

Project acronym:

Project acronym:

Project acronym:

Project acronym