8 citations · 8 across the 2 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
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,…
cs.CL2020
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…