8 citations · 8 across the 2 of their papers we have counts for
4 papers
Soundness conditions for big-step semantics
Francesco Dagnino, Viviana Bono, Elena Zucca +1
We propose a general proof technique to show that a predicate is sound, that is, prevents stuck computation, with respect to a big-step semantics. This result may look surprising,…
GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers
Fabio Massimo Zanzotto, Viviana Bono, Paola Vocca +4
Creativity is one of the driving forces of human kind as it allows to break current understanding to envision new ideas, which may revolutionize entire fields of knowledge. Scienti…
Lucretia - intersection type polymorphism for scripting languages
Marcin Benke, Viviana Bono, Aleksy Schubert
Scripting code may present maintenance problems in the long run. There is, then, the call for methodologies that make it possible to control the properties of programs written in d…
Polymorphic Endpoint Types for Copyless Message Passing
Viviana Bono, Luca Padovani
We present PolySing#, a calculus that models process interaction based on copyless message passing, in the style of Singularity OS. We equip the calculus with a type system that ac…