The Geneva Convention on the Treatment of Object Aliasing-Reference-Cited by-同舟云学术

The Geneva Convention on the Treatment of Object Aliasing

Published:2013 Issue: Volume: Page:7-14
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Hogg John,Lea Doug,Wills Alan,de Champeaux Dennis,Holt Richard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-36946-9_2

Reference13 articles.

1. America, P., de Boer, F.: A sound and complete proof system for SPOOL. Technical Report Technical Report 505, Philips Research Laboratories (May 1990)

2. Chambers, C., Ungar, D.: Making pure object-oriented languages practical. In: OOPSLA, pp. 1–15. ACM, New York (1991)

3. Cook, S.A.: Soundness and completeness of an axiom system for program verification. SIAM Journal of Computing 7(1), 70–90 (1978)

4. Harms, D.E., Weide, B.W.: Copying and swapping: influences on the design of reusable software components. IEEE Transactions on Software Engineering 17(5), 424–435 (1991)

5. Hogg, J.: Islands: Aliasing protection in object-oriented languages. In: Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1991, pp. 271–285. ACM, New York (1991)

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

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

2. Immutability;Lecture Notes in Computer Science;2013

3. Beyond the Geneva Convention on the Treatment of Object Aliasing;Lecture Notes in Computer Science;2013