IOTA
发表于 2025-3-28 16:21:18
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logicand checking many frame annotations. In this paper, we propose a variant of the dynamic frames approach that eliminates the need to explicitly write and check frame annotations. Reminiscent of separation logic’s frame rule, programmers write access assertions inside pre- and postconditions instead o
名词
发表于 2025-3-28 18:58:14
Fine-Grained Access Control with Object-Sensitive Rolesthough, traditional RBAC does not easily express application-level security requirements. For instance, in a medical records system it is difficult to express that doctors should only update the records of . patients. Further, traditional RBAC frameworks like Java’s Enterprise Edition rely solely on
FOIL
发表于 2025-3-28 23:56:53
Practical API Protocol Checking with Access Permissionswhile affording a great deal of aliasing flexibility. We also developed Plural, a prototype tool that embodies our approach as an automated static analysis and includes several extensions we found useful in practice. This paper evaluates our approach along the following dimensions: (1) We report on
幼稚
发表于 2025-3-29 04:50:57
Adding State and Visibility Control to Traits Using Lexical Nesting express visibility control for methods. Two extensions, stateful traits and freezable traits, have been proposed to overcome these limitations. However, these extensions introduce complexity and have not yet been combined to simultaneously add both state . visibility control to traits..This paper r
知识
发表于 2025-3-29 08:29:24
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classesructor. However, inheritance has been generalized to the much more flexible notion originally proposed in Bracha’s Jigsaw framework. That is, classes play also the role of modules, that can be composed by a rich set of operators, all of which can be expressed by a minimal core..We keep the nominal a
秘方药
发表于 2025-3-29 13:54:39
Modular Visitor Componentsdatatypes. Like the traditional ., adding new components (either variants or operations) should be possible while preserving .. Moreover, different combinations of components should have different type identities and the subtyping relationships between components should be preserved. By generalizing
圆桶
发表于 2025-3-29 16:58:28
Debugging Method Namesng programmers with little or no support in assuring meaningful names. In this paper, we show that naming conventions can go much further: we can mechanically check whether or not a method name and implementation are likely to be good matches for each other. The vast amount of software written in Ja
Calibrate
发表于 2025-3-29 20:22:50
http://reply.papertrans.cn/31/3003/300297/300297_48.png
capillaries
发表于 2025-3-30 03:52:26
http://reply.papertrans.cn/31/3003/300297/300297_49.png
抛媚眼
发表于 2025-3-30 05:31:37
http://reply.papertrans.cn/31/3003/300297/300297_50.png