Author:
Arnaud Jean-Baptiste,Denker Marcus,Ducasse Stéphane,Pollet Damien,Bergel Alexandre,Suen Mathieu
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Meyer, B.: Applying design by contract. IEEE Computer (Special Issue on Inheritance & Classification) 25(10), 40–52 (1992)
2. Finifter, M., Mettler, A., Sastry, N., Wagner, D.: Verifiable functional purity in java. In: Proceedings of CCS’08, pp. 27–31 (2008)
3. Donald, G., James, N.: Dynamic ownership in a dynamic language. In: Costanza, P., Hirschfeld, R. (eds.) Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, pp. 41–52. ACM, New York (2007)
4. Hogg, J.: Islands: aliasing protection in object-oriented languages. In: Proceedings of the 6th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA’91), pp. 271–285 (1991)
5. Lecture Notes in Computer Science;P.S. Almeida,1997
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. First-class dynamic types;Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages;2019-10-20
2. Fully Reflective Execution Environments: Virtual Machines for More Flexible Software;IEEE Transactions on Software Engineering;2019-09-01
3. A practical type system for safe aliasing;Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering;2018-10-24
4. Propagation of Behavioral Variations with Delegation Proxies;Transactions on Aspect-Oriented Software Development XII;2015