Sciweavers

11653 search results - page 127 / 2331
» The Development of the C Language
Sort
View
PPDP
2000
Springer
14 years 1 months ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
ESOP
2011
Springer
13 years 1 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...