Author:
Ancona Davide,Zucca Elena
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. J. Adámek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Pure and Applied Mathematics. Wiley Interscience, New York, 1990.
2. D. Ancona and E. Zucca. A theory of mixin modules. In preparation.
3. D. Ancona and E. Zucca. A formal framework for modules with state. In AMAST '96, LNCS, 1101, pages 148–162, 1996. Springer Verlag.
4. J.A. Bergstra, J. Heering, and P. Klint. Module algebra. Journ. ACM, 37(2):335–372, 1990.
5. M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In CAAP '96, LNCS, 1059, pages 241–256, 1996. Springer Verlag.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstraction and Genericity in Why3;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
2. Disjoint Polymorphism;Programming Languages and Systems;2017
3. Scheme with Classes, Mixins, and Traits;Programming Languages and Systems;2006
4. A Basic Model of Typed Components;Lecture Notes in Computer Science;2000
5. Modular object-oriented programming with units and mixins;ACM SIGPLAN Notices;1999-01