PAGAN DAVID D

Method and apparatus for detecting violations of type rules in a computer program