Titlebook: Aliasing in Object-Oriented Programming; Types, Analysis and Dave Clarke,James Noble,Tobias Wrigstad Book 2013 Springer-Verlag Berlin Heid

Perennial长期的

菊花

PUT

Separation Logic for Object-Oriented ProgrammingIn 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.

商谈

VeriFast for Java: A TutorialVeriFast is a separation logic-based program verifier for Java. This tutorial introduces the verifier’s features step by step.

斜

健谈的人

innovation

小争吵

Antarctic

CHAR

Immutabilityundant imperative object-oriented languages. In this chapter we briefly survey possible definitions of immutability and present recent work by the authors on adding immutability to object-oriented languages and how it impacts aliasing.