WADDINGTON TRENT CRAIG GEORGE

Inferring type definitions of user-defined types of variables in application program code