Perennial长期的
发表于 2025-3-26 22:16:18
http://reply.papertrans.cn/16/1534/153326/153326_31.png
菊花
发表于 2025-3-27 03:07:29
http://reply.papertrans.cn/16/1534/153326/153326_32.png
PUT
发表于 2025-3-27 06:21:37
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.
商谈
发表于 2025-3-27 12:34:08
VeriFast for Java: A TutorialVeriFast is a separation logic-based program verifier for Java. This tutorial introduces the verifier’s features step by step.
斜
发表于 2025-3-27 15:36:29
http://reply.papertrans.cn/16/1534/153326/153326_35.png
健谈的人
发表于 2025-3-27 18:09:16
http://reply.papertrans.cn/16/1534/153326/153326_36.png
innovation
发表于 2025-3-28 00:13:09
http://reply.papertrans.cn/16/1534/153326/153326_37.png
小争吵
发表于 2025-3-28 02:08:01
http://reply.papertrans.cn/16/1534/153326/153326_38.png
Antarctic
发表于 2025-3-28 09:18:04
http://reply.papertrans.cn/16/1534/153326/153326_39.png
CHAR
发表于 2025-3-28 11:29:56
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.