Declarative smart contracts

Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang 0001, Boon Thau Loo. Declarative smart contracts. In Abhik Roychoudhury, Cristian Cadar, Miryung Kim, editors, Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. pages 281-293, ACM, 2022. [doi]

Abstract

Abstract is missing.