Design by Contract - PowerPoint PPT Presentation

1 / 35
} ?>
View by Category
About This Presentation
Title:

Design by Contract

Description:

Finding more bugs at compile time. Removing redundant language features ... Rule: x.use does not compile if x != null can't can't be proved right before it ... – PowerPoint PPT presentation

Number of Views:38
Avg rating:3.0/5.0
Slides: 36
Provided by: csHu
Learn more at: http://www.cs.huji.ac.il
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com