Changes between Version 8 and Version 9 of WikiStart.ja


Ignore:
Timestamp:
11/05/08 20:14:50 (16 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart.ja

    v8 v9  
    2222   * [/~uhiro/ Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference] 
    2323 * セキュア コンパイラ プロジェクト 
    24    * [/~tossy-2/l3cover/ L^3^Cover]: a framework to build program verifiers for low-level languages 
     24   * [/~tossy-2/l3cover/ L^3 Cover]: a framework to build program verifiers for low-level languages 
    2525 * Typed Computing プロジェクト 
    2626   * Aspectual Caml: an aspect-oriented functional language ([http://www.graco.c.u-tokyo.ac.jp/ppp 増原研究室]との共同研究)