/
Zach Tatlock  /  Winter Zach Tatlock  /  Winter

Zach Tatlock / Winter - PowerPoint Presentation

conchita-marotz
conchita-marotz . @conchita-marotz
Follow
365 views
Uploaded On 2018-03-09

Zach Tatlock / Winter - PPT Presentation

2017 CSE 331 Software Design and Implementation Lecture 9 Checker Framework Motivation javalangNullPointerException Problem Your code has bugs Who discovers the problems If you are very lucky ID: 644109

string date type null date string null type object nullable nonnull identity map arg return java types currentobj system

Share:

Link:

Embed:

Download Presentation from below link

Download Presentation The PPT/PDF document "Zach Tatlock / Winter" is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.


Presentation Transcript