Titlebook: ECOOP 2009 -- Object-Oriented Programming; 23rd European Confer Sophia Drossopoulou Conference proceedings 2009 Springer-Verlag Berlin Heid

IOTA

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

名词

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

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

幼稚

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

知识

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

秘方药

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

圆桶

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

capillaries

抛媚眼