Separation logic for object-oriented programming
Aliasing in Object-Oriented Programming（2013）
摘要
In this article we propose techniques based on separation logic to reason about object-oriented programs. This leads to a modular proof system that can deal with features considered core to object-oriented programming, including object encapsulation, subclassing, inheritance, and dynamic dispatch.
更多查看译文
关键词
object-oriented programming,dynamic dispatch,object-oriented program,separation logic,object encapsulation,modular proof system
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要