Extended static checking for Java

Public

Published in Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation • May 17, 2002

Authors:

Cormac Flanagan

,

K. Rustan M. Leino

,

Mark Lillibridge

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!