Sign in
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).
David Richter
David Kretzler
Pascal Weisenburger
Guido Salvaneschi
Sebastian Faust
Mira Mezini
Published in:
CoRR (2022)
Keyphrases
</>
natural language
cooperative
language learning
specification language
supply chain
distributed systems
client server
language processing
object oriented programming
global consistency
key distribution
closed world
messages exchanged
learning from positive data