1. Method schemas;Abiteboul;Proceedings Ninth ACM Symposium on Principles of Database Systems,1990
2. Compilers: Principles, Techniques and Tools;Aho,1986
3. A type declaration and inference system for Smalltalk;Borning;Conference Record Ninth Annual ACM Symposium on Principles of Programming Languages,1982
4. The program summary graph and flow-sensitive interprocedural data flow analysis;Callahan;Proceedings SIGPLAN'88 Conference on Programming Language Design and Implementation,1988
5. Interprocedural constant propagation;Callahan;Proceedings SIGPLAN'86 Symposium on Compiler Construction,1986