Declarative smart contracts

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 07, 2022
Source ID
10.1145/3540250.3549121

Entities

People

  • Boon Thau Loo
  • Gerald Whitters
  • Haoxian Chen
  • Mohammad Javad Amiri
  • Yuepeng Wang

Organizations

  • National Science Foundation
  • Natural Sciences and Engineering Research Council
  • Office of Naval Research
  • Simon Fraser University
  • University of Pennsylvania