Universe Types for Topology and Encapsulation-Reference-Cited by-同舟云学术

Universe Types for Topology and Encapsulation

Published:2008 Issue: Volume: Page:72-112
ISSN:0302-9743
Container-title:Formal Methods for Components and Objects
language:
Short-container-title:

Author:

Cunningham Dave,Dietl Werner,Drossopoulou Sophia,Francalanza Adrian,Müller Peter,Summers Alexander J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-92188-2_4

Reference30 articles.

1. Lecture Notes in Computer Science;J. Aldrich,2004

2. Lecture Notes in Computer Science;C. Andreae,2006

3. Banerjee, A., Naumann, D.: Representation independence, confinement, and access control. In: Principles of Programming Languages (POPL), pp. 166–177. ACM Press, New York (2002)

4. Boyapati, C.: SafeJava: A Unified Type System for Safe Programming. PhD thesis, MIT (2004)

5. Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM, New York (2002)

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using capabilities for strict runtime invariant checking;Science of Computer Programming;2022-12

2. A Comparative Study on Transformation of UML/OCL to Other Specifications;Recent Advances in Computer Science and Communications;2020-06-03

3. Region and effect inference for safe parallelism;Automated Software Engineering;2019-05-11

4. Short Paper;Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security;2016-10-24

5. Inference and Checking of Object Immutability;Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools;2016-08-29