Checking Concurrent Typestate with Access Permissions in Plural: A Retrospective
Engineering of Software(2011)
摘要
Objects often define usage protocols that clients must follow in order for these objects to work properly. In the presence
of aliasing, however, it is difficult to check whether all the aliases of an object properly coordinate to enforce the protocol.
Plural is a type-based system that can soundly enforce challenging protocols even in concurrent programs. In this paper, we
discuss how Plural supports natural idioms for reasoning about programs, leveraging access permissions that express the programmer’s design intent within the code. We trace the predecessors of the design intent idioms used in
Plural, discuss how we have found different forms of design intent to be complimentary, and outline remaining challenges and
directions for future work in the area.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要