共 50 条
- [1] Reactive Object Queries Consistent Views in Object-Oriented Languages COMPANION PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MODULARITY (MODULARITY COMPANION'16), 2016, : 23 - 28
- [2] A Type System for Access Control Views in Object-Oriented Languages AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS AND ISSUES IN THE THEORY OF SECURITY, 2010, 6186 : 59 - +
- [3] Using views to specify a synchronization aspect for object-oriented languages 30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2006, : 272 - +