ACM Transactions on Programming Languages and Systems

Results: 10



#Item
1Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt

Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt

Add to Reading List

Source URL: pauillac.inria.fr

Language: English - Date: 2010-12-29 13:37:29
2Hongjin Liang  Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China

Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China

Add to Reading List

Source URL: staff.ustc.edu.cn

Language: English - Date: 2016-04-27 03:06:22
3Benchmarking Computer Systems Tomas Kalibera My benchmarking background Systems CORBA, Mono, RT Java (Ovm, RTS, WebSphere), Java (OpenJDK,

Benchmarking Computer Systems Tomas Kalibera My benchmarking background Systems CORBA, Mono, RT Java (Ovm, RTS, WebSphere), Java (OpenJDK,

Add to Reading List

Source URL: ecoop14.it.uu.se

Language: English - Date: 2014-08-17 05:39:06
4Curriculum Vitae  BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Add to Reading List

Source URL: cs.nyu.edu

Language: English - Date: 2014-09-02 18:48:16
5Amer S. Diwan Work Engineering Center, ECOT 743 Department of Computer Science University of Colorado Boulder, CO[removed]

Amer S. Diwan Work Engineering Center, ECOT 743 Department of Computer Science University of Colorado Boulder, CO[removed]

Add to Reading List

Source URL: www-plan.cs.colorado.edu

Language: English - Date: 2009-01-07 10:11:03
6[removed]Computer Science Colloquia Mining Ultra-large Scale Software Repositories with Boa Robert Dyer

[removed]Computer Science Colloquia Mining Ultra-large Scale Software Repositories with Boa Robert Dyer

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2013-10-07 15:00:58
7Helm-Cravens Library Alphabetical List of Print Periodical Holdings Helm Library, 2nd floor (the top floor), contains most of WKU Libraries’ print periodical holdings. These periodicals represent the most recent decade

Helm-Cravens Library Alphabetical List of Print Periodical Holdings Helm Library, 2nd floor (the top floor), contains most of WKU Libraries’ print periodical holdings. These periodicals represent the most recent decade

Add to Reading List

Source URL: www.wku.edu

Language: English - Date: 2015-02-12 17:18:31
8DIRECT LINKS TO ELECTRONIC JOURNALS ABSTRACT AND APPLIED ANALYSIS Online from 1996 to most current issue Distribution: 1 issue annually http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&page=past&handle=

DIRECT LINKS TO ELECTRONIC JOURNALS ABSTRACT AND APPLIED ANALYSIS Online from 1996 to most current issue Distribution: 1 issue annually http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&page=past&handle=

Add to Reading List

Source URL: tulane.edu

Language: English - Date: 2012-01-03 11:31:25
9DIRECT LINKS TO ELECTRONIC JOURNALS ABSTRACT AND APPLIED ANALYSIS Online from 1996 to most current issue Distribution: 1 issue annually http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&page=past&handle=

DIRECT LINKS TO ELECTRONIC JOURNALS ABSTRACT AND APPLIED ANALYSIS Online from 1996 to most current issue Distribution: 1 issue annually http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&page=past&handle=

Add to Reading List

Source URL: www.math.tulane.edu

Language: English - Date: 2011-01-03 15:06:16
10Prof. Bernhard Steffen TU Dortmund BIO

Prof. Bernhard Steffen TU Dortmund BIO

Add to Reading List

Source URL: ls5-www.cs.tu-dortmund.de

Language: English - Date: 2013-06-04 07:05:11