Programming language abstractions for modularly verified distributed systems

被引：0

作者：

University of Washington, Seattle ^{[1
]}

WA, United States

不详 ^{[2
]}

机构：

来源：

Leibniz Int. Proc. Informatics, LIPIcs | 1868年

关键词：

D O I：

2nd Summit on Advances in Programming Languages, SNAPL 2017

中图分类号：

学科分类号：

摘要：

Dependent types - Distributed protocols - Distributed systems - Domain specific languages - Program logic - Program Verification - Type systems

引用