Author:
Damiani Ferruccio,Dovland Johan,Johnsen Einar Broch,Schaefer Ina
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Xtraitj : Traits for the Java platform;Journal of Systems and Software;2017-09
2. Verified Subtyping with Traits and Mixins;Electronic Proceedings in Theoretical Computer Science;2014-07-08
3. Verifying traits: an incremental proof system for fine-grained reuse;Formal Aspects of Computing;2014-07
4. Pure trait-based programming on the Java platform;Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools;2013-09-11
5. A Liskov Principle for Delta-Oriented Programming;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2012