David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini. Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ACM Transactions on Programming Languages and Systems, 45(3), September 2023. [doi]
Abstract is missing.