Sciweavers

11653 search results - page 127 / 2331
» The Development of the C Language
Sort
View
PPDP
2000
Springer
15 years 7 months ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
137
Voted
ESOP
2011
Springer
14 years 7 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...
111
Voted
JMLR
2012
13 years 6 months ago
High-dimensional Sparse Inverse Covariance Estimation using Greedy Methods
Christopher C. Johnson, Ali Jalali, Pradeep D. Rav...
121
Voted
ECOOP
2012
Springer
13 years 6 months ago
Extensibility for the Masses - Practical Extensibility with Object Algebras
Bruno C. d. S. Oliveira, William R. Cook