Italiano (Italian) English (Inglese)
Friday, 24 May 2024

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.