38 citations · 145 across the 24 of their papers we have counts for
Showing 2022 · cs.PLShow all
2 papers · 2 filters
cs.PL2022★ 4 cited
revTPL: The Reversible Temporal Process Language
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina +1
Reversible debuggers help programmers to find the causes of misbehaviours in concurrent programs more quickly, by executing a program backwards from the point where a misbehaviour…
cs.PL2022
Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version
Lorenzo Gheri, Ivan Lanese, Neil Sayers +2
Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication p…