102 citations · 226 across the 18 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 9 cited
Deadlock-Free Typestate-Oriented Programming
Luca Padovani
Context. TypeState-Oriented Programming (TSOP) is a paradigm intended to help developers in the implementation and use of mutable objects whose public interface depends on their pr…
cs.PL2018
Mailbox Types for Unordered Interactions
Ugo de'Liguoro, Luca Padovani
We propose a type system for reasoning on protocol conformance and deadlock freedom in networks of processes that communicate through unordered mailboxes. We model these networks i…