40 citations · 61 across the 11 of their papers we have counts for
12 papers
A Typestate Approach to Purpose-aware Programming
Joan Montas, Samuel Dodson, Anitha Gollamudi +1
Real-world applications often require verification that sensitive data is being used for their intended purpose. However, existing literature offers limited results regarding compi…
From Program Logics to Language Logics
Matteo Cimini
Program logics are a powerful formal method in the context of program verification. Can we develop a counterpart of program logics in the context of language verification? This pap…
A Declarative Validator for GSOS Languages
Matteo Cimini
Rule formats can quickly establish meta-theoretic properties of process algebras. It is then desirable to identify domain-specific languages (DSLs) that can easily express rule for…
Lang-n-Send Extended: Sending Regular Expressions to Monitors
Matteo Cimini
In prior work, Cimini has presented Lang-n-Send, a pi-calculus with language definitions. In this paper, we present an extension of this calculus called Lang-n-Send+m. First, we re…
Lang-n-Send: Processes That Send Languages
Matteo Cimini
We present Lang-n-Send, a pi-calculus that is equipped with language definitions. Processes can define languages in operational semantics, and use them to execute programs. Further…
Language Transformations in the Classroom
Matteo Cimini, Benjamin Mourad
Language transformations are algorithms that take a language specification in input, and return the language specification modified. Language transformations are useful for automat…