×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [class of programming]
Chapter 3
214 views
Linear Programming Problem(Lpp)
60 views
Operations Research
23 views
Towards a language design for modular software verification Aleks Nanevski Microsoft Research, Cambridge Joint with Greg Morrisett (Harvard), Lars Birkedal
216 views
Towards a language design for modular software verification
36 views