David Richter
Orcid: 0000-0002-8672-0265Affiliations:
- TU Darmstadt, Germany
According to our database1,
David Richter
authored at least 9 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
ACM Trans. Program. Lang. Syst., September, 2023
Dagstuhl Artifacts Ser., 2023
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).
Dagstuhl Artifacts Ser., 2022
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).
CoRR, 2022
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract).
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
2021
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021