Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. Agesen Ole, The cartesian product algorithm: Simple and precise type inference of parametric polymorphism, in: Proceedings of the European Conference on Object-Oriented Programming (ECOOP'95), 1995, pp. 2–26. URL citeseer.nj.nec.com/agesen95cartesian.html
2. Armbruster M. and C. von Roques. Fiasco — fiasco is a sather compiler, Master's thesis, Universität Karlsruhe, Fakultät für Informatik (1996).
3. Assamann U. and M. Weinhardt, Interprocedural heap analysis for parallelizing imperative programs, in: S. Giloi, W. K., Jähnichen and B. D. Shriver, editors, Proceedings of the Conference on Programming Models for Massively Parallel Computers (1993), pp. 74–82.
4. Fast static analysis of C++ virtual function calls;Bacon;ACM SIGPLAN Notices,1996
5. “Software Architecture in Practice,”;Bass,1998