Distributed collective systems are systems formed by homogeneous dynamic collections of
devices acting in a shared environment to pursue a joint task or goal. Typical applications …

We extend the semantics and type system of a lambda calculus equipped with common
constructs to be resource-aware. That is, reduction is instrumented to keep track of the …

Resource-aware type systems statically approximate not only the expected result type of a
program, but also the way external resources are used, eg, how many times the value of a …

Resource-aware type systems statically approximate not only the expected result type of a
program, but also the way external resources are used, eg, how many times the value of a …

Janus is an imperative, sequential language for reversibility. While heavily studied in the
reversibility literature, to the best of our knowledge, no small-step semantics for it exists …

We propose an approach for modular verification of programs written in an object-oriented
language where, like in C++, the same virtual method call is bound to different methods at …

Abstract Reasoning about programs and their correctness concerns, in the first place, their
input/output behaviour. However, there are many important properties which are non …

Towards Abstract and (hopefully) Compositional Operational Reasoning Page 1 DIBRIS
DIPARTIMENTO DI INFORMATICA, BIOINGEGNERIA, ROBOTICA E INGEGNERIA DEI SISTEMI …