Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Atkinson, M.P., Buneman, O.P.: Types and persistence in database programming languages. ACM Comput. Surv. 19(2), 105–170 (1987)
2. Banerjee, A., Naumann, D.A.: Ownership confinement ensures representation independence for object-oriented programs. J. ACM 52(6), 894–960 (2005)
3. Blackburn, S., Zigman, J.N.: Concurrency — the fly in the ointment? In: POS/PJW, pp. 250–258 (1998)
4. Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: POPL 2003: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 213–223. ACM Press, New York (2003)
5. Church, A.: The Calculi of Lambda Conversion. Princeton University Press, Princeton (1951)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming;Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2022-11-29
2. Building Safe Concurrency Abstractions;Lecture Notes in Computer Science;2014
3. A Unified Approach to Modeling and Programming;Model Driven Engineering Languages and Systems;2010
4. The when, why and why not of the BETA programming language;Proceedings of the third ACM SIGPLAN conference on History of programming languages;2007-06-09