4 papers
Ocean-atmosphere interaction at the Gulf Stream sea surface temperature front: variability and impacts on midlatitude atmospheric circulation
Luca Famooss Paolini
Sea surface temperature (SST) gradients associated with western boundary currents affect the atmospheric circulation across a range of spatial and temporal scales. Yet, several asp…
A Core Calculus for Type-safe Product Lines of C Programs
Ferruccio Damiani, Daisuke Kimura, Luca Paolini +1
In this paper we: (1) propose Lightweight C (LC), namely a core calculus that formalizes a proper subset of the ANSI C without preprocessor directives; (2) define Colored LC (CLC),…
Learning Foundations Beneath the Stars
Felice Cardone, Luca Paolini
Foundations of computer science are a key area in theoretical research, one to which Stefano has made significant contributions, particularly from a logical and proof-theoretic per…
Interleaving classical and reversible
Armando B. Matos, Luca Paolini, Luca Roversi
Given a simple recursive function, we show how to extract two interacting processes from it. The two processes can be described by means of iterative programs, one of which is intr…