No. Title Author Year
1 Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact) Richter, David et al. 2022
2 Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract) Richter, David et al. 2022
3 Dealing with Variability in API Misuse Specification Bonifácio, Rodrigo et al. 2021
4 How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 Eichholz, Matthias et al. 2019
5 CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Krüger, Stefan et al. 2018
6 CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact) Krüger, Stefan et al. 2018
7 Fault-tolerant Distributed Reactive Programming Mogk, Ragnar et al. 2018
8 A Co-contextual Type Checker for Featherweight Java Kuci, Edlira et al. 2017
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI