Sign in

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).

David RichterDavid KretzlerPascal WeisenburgerGuido SalvaneschiSebastian FaustMira Mezini
Published in: Dagstuhl Artifacts Ser. (2022)
Keyphrases
  • natural language
  • programming language
  • multi agent
  • language learning
  • distributed systems
  • client server
  • peer to peer
  • supply chain
  • specification language
  • mobile robot
  • modeling language
  • object oriented programming