Sign in

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.

David RichterDavid KretzlerPascal WeisenburgerGuido SalvaneschiSebastian FaustMira Mezini
Published in: ACM Trans. Program. Lang. Syst. (2023)
Keyphrases
  • natural language
  • language learning
  • programming language
  • distributed systems
  • cooperative
  • database
  • multi agent
  • multi party
  • specification language
  • security protocols
  • operational semantics