Semantics and Logics of Computation Group
The "Semantics and Logics of Computation" group has focused its activity on type systems for functional and object oriented programming languages and type based program transformations, both in a theoretical setting (syntactic and semantic properties of type systems) and in more practical one, developing type inference and analysis tools for real programming languages and, in some case, providing prototype implementations of them. Type systems for Java-like languages extended with dynamic object re-classification have been studied and also type systems for prototype languages (such as JavaScript) for developing mobile applications have been proposed.
People
Projects
- DART - Dynamic Assembly Reconfiguration and Type-checking (project IST-2001-33477)
- Metodi costruttivi in Topologia, Algebra e Tecnologia dell'Informazione (McTati, Cofin'02)
- Network Aware Programming: Objects, Languages, Implementations (MIUR Cofin 2001) ➚