Programming languages and software engineering

Vlad Levin, Robert Palmer, Shaz Qadeer, Sriram Rajamani

MSR-TR-2005-40 | April 2005

D. P. Schneider, P. B. Hall, G. T. Richards, D. E. Vanden Berk, S. F. Anderson, X. Fan, S. Jester, C. Stoughton, M. A. Strauss, M. SubbaRao, W. Brandt, J. E. Gunn, B. Yanny, N. A. Bahcall, J. Barentine, M. R. Blanton, W. N. Boroski, H. J. Brewington, J. Brinkmann, R. Brunner, I. Csabai, M. Doi, D. J. Eisenstein, J. A. Frieman, M. Fukugita, Jim Gray, M. Harvanek, T. M. Heckman, Željko Ivezić, S. Kent, S. Kleinman, G. R. Knapp, R. G. Kron, J. Krzesinski, D. C. Long, J. Loveday, R. H. Lupton, B. Margon, J. A. Munn, E. H. Neilsen, H. Jo Newberg, P. R. Newman, R. Nichol, A. Nitta, J. R. Pier, C. M. Rockosi, D. H. Saxe, D. J. Schlegel, S. A. Snedden, A. S. Szalay, A. R. Thakar, A. Uomoto, D. G. York

March 2005

David Tarditi, Juan Chen

March 2005

Don Syme

MSR-TR-2005-31 | March 2005

Project

Leslie Lamport

MSR-TR-2005-33 | March 2005

Rustan Leino, Todd Millstein, James B. Saxe

Science of Computer Programming – Formal methods for components and objects pragmatic aspects and applications | March 2005, Vol 55(1-3): pp. 209-226

Robert DeLIne, Rustan Leino

MSR-TR-2005-70 | March 2005

Nikita Borisov, David Brumley, Helen Wang, Chuanxiong Guo

MSR-TR-2005-133 | February 2005