Annotation inference for modular checkers

This publication has 4 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Type-based race detection for Java
  ACM SIGPLAN Notices, 2000
• Type Systems for Programming Languages
  Published by Elsevier ,1990
• A generalization of Dijkstra's calculus
  ACM Transactions on Programming Languages and Systems, 1989