Author:
Wimmer Manuel,Kappel Gerti,Kusel Angelika,Retschitzegger Werner,Schönböck Johannes,Schwinger Wieland,Kolovos Dimitris,Paige Richard,Lauder Marius,Schürr Andy,Wagelaar Dennis
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Agrawal, R., Demichiel, L.G., Lindsay, B.G.: Static Type Checking of Multi-Methods. In: Proc. of OOPSLA 1991, pp. 113–128 (1991)
2. Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques,and Tools. Addison-Wesley, Reading (1986)
3. Lecture Notes in Computer Science;E. Amiel,1996
4. Lecture Notes in Computer Science;R. Bardohl,2004
5. Bézivin, J.: On the Unification Power of Models. SoSyM Journal 4(2) (2005)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献