MODIFIERS IN OFL - AN APPROACH FOR ACCESS CONTROL CUSTOMIZATION
暂无分享,去创建一个
[1] James Gosling. The Java Language Specification - Second Edition , 2000 .
[2] Philippe Lahire,et al. Customisation of Inheritance , 2002 .
[3] Guy L. Steele,et al. The Java Language Specification , 1996 .
[4] Alan Snyder. Encapsulation and inheritance in object-oriented programming languages , 1986, OOPSLA 1986.
[5] Gilles Ardourel. Modélisation des mécanismes de protection dans les langages à objets , 2002 .
[6] Pierre Crescenzo. OFL : un modèle pour paramétrer la sémantique opérationnelle des langages à objets - Application aux relations inter-classes. (OFL: a Model to Customise the Operational Semantics of Object-Oriented Languages - Application to Interclass Relationships) , 2001 .
[7] Bernhard Rumpe,et al. The Amsterdam Manifesto on OCL , 2014, Object Modeling with the OCL.
[8] Bertrand Meyer,et al. Eiffel: The Language , 1991 .
[9] Martín Abadi,et al. Protection in Programming-Language Translations , 1998, ICALP.
[10] Philippe Lahire,et al. LAMP : vers un langage de définition de mécanismes de protection pour les langages de programmation à objets , 2003, Obj. Logiciel Base données Réseaux.
[11] Norbert Schirmer. Analysing the Java package/access concepts in Isabelle/HOL , 2004, Concurr. Pract. Exp..
[12] Norbert Schirmer. Analysing the Java package-access concepts in Isabelle-HOL: Research Articles , 2004 .
[13] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..