University of Torino is internationally recognized for its expertise in several areas of theoretical computer science including logic, functional calculi, intersection types, static analysis techniques for object-oriented, concurrent and distributed
Deadlock analysis of concurrent programs that contain coordination primitives (wait, notify and notifyAll) is notoriously challenging. Not only these primitives affect the scheduling of processes, but also notifications unmatched by
We describe a generative approach that enables concurrent typestate-oriented programming in Java and other mainstream languages. The approach allows programmers to implement objects exposing a state-sensitive interface using a high-level
Concurrent objects can be accessed and possibly modified concurrently by several running processes. It is notoriously difficult to make sure that such objects are consistent with – and are used according
Context. TypeState-Oriented Programming (TSOP) is a paradigm intended to help developers in the implementation and use of mutable objects whose public interface depends on their private state. Under this paradigm,
We propose a type system for reasoning on protocol conformance and deadlock freedom in networks of processes that communicate through unordered mailboxes. We model these networks in the mailbox calculus,
This deliverable reports on the results of the task “T.2.1: Current practices and state-of-the-art of Application Program Interface (API) provision” of the work package (WP) 2 “API Provision”. The goals
This report summarizes the initial activities related to WP2, and particularly to Tasks T.2.2 “Models for behavioural APIs” and T.2.7 “Inferring behavioural descriptions for b-APIs”. This is a public deliverable,