DSpace@MIT
Recent submissions
DSpace@MIT Home
Computer Science and Artificial Intelligence Lab (CSAIL)
Recent submissions
DSpace@MIT Home
Computer Science and Artificial Intelligence Lab (CSAIL)
Recent submissions
JavaScript is disabled for your browser. Some features of this site may not work without it.
Toggle navigation
Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 52-54 of 3794
Safe Runtime Downcasts With Ownership Types
Boyapati, Chandrasekhar
;
Lee, Robert
;
Rinard, Martin
(
2002-06
)
Automatic Generation and Checking of Program Specifications
Nimmer, Jeremy
(
2002-06
)
Safe Lazy Software Upgrades in Object-Oriented Databases
Liskov, Barbara H.
;
Moh, Chuang-Hue
;
Richman, Steven
;
Shrira, Liuba
;
Chueng, Yin
;
e.a.
(
2002-06
)
Search DSpace
This Community
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Community
By Issue Date
Authors
Titles
Subjects
My Account
Login
Statistics
OA Statistics
Statistics by Country
Statistics by Department
