Semantic Foundations and Inference of Non-null Annotations

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-68863-1_9 ◽

2008 ◽

pp. 132-149 ◽

Cited By ~ 14

Author(s):

Laurent Hubert ◽

Thomas Jensen ◽

David Pichardie

Download Full-text