Ionic Types
暂无分享,去创建一个
[1] Sarfraz Khurshid,et al. Is the Java Type System Sound? , 1999, Theory Pract. Object Syst..
[2] Martín Abadi,et al. Secrecy by typing in security protocols , 1999, JACM.
[3] Davide Sangiorgi,et al. Typing and subtyping for mobile processes , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
[4] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.
[5] William R. Cook,et al. Mixin-based inheritance , 1990, OOPSLA/ECOOP '90.
[6] Ole Lehrmann Madsen,et al. Object-oriented programming in the BETA programming language , 1993 .
[7] Luca Cardelli,et al. Mobility Types for Mobile Ambients , 1999, ICALP.
[8] Martín Abadi,et al. Secrecy by Typing inSecurity Protocols , 1997, TACS.
[9] John Fuller,et al. Vanilla: An Open Language Framework , 1999, GCSE.
[10] Andrew P. Black,et al. Fine-grained mobility in the Emerald system , 1987, TOCS.
[11] Anand R. Tripathi,et al. Design issues in mobile agent programming systems , 1998, IEEE Concurr..
[12] Ulrik Pagh Schultz,et al. Harissa: A Hybrid Approach to Java Execution , 1999, IEEE Softw..
[13] Martín Abadi,et al. A Theory of Objects , 1996, Monographs in Computer Science.
[14] Günter Kniesel. Type-Safe Delegation for Run-Time Component Adaptation , 1999, ECOOP.
[15] Henry Lieberman,et al. Using prototypical objects to implement shared behavior in object-oriented systems , 1986, OOPLSA '86.
[16] Matthias Felleisen,et al. Classes and mixins , 1998, POPL '98.
[17] Luca Cardelli,et al. Types for mobile ambients , 1999, POPL '99.