40 citations · 40 across the 1 of their papers we have counts for
3 papers
cs.PL2019
A Calculus for Language Transformations
Benjamin Mourad, Matteo Cimini
In this paper we propose a calculus for expressing algorithms for programming languages transformations. We present the type system and operational semantics of the calculus, and w…
cs.PL2019
Towards Gradually Typed Capabilities in the Pi-Calculus
Matteo Cimini
Gradual typing is an approach to integrating static and dynamic typing within the same language, and puts the programmer in control of which regions of code are type checked at com…
cs.SE2011★ 40 cited
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
Luca Aceto, Matteo Cimini, Anna Ingolfsdottir +3
In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics…