| |
| 2006 | ||
|---|---|---|
| 2 | EE | Yutaka Matsuno, Atsushi Ohori: A type system equivalent to static single assignment. PPDP 2006: 249-260 |
| 2003 | ||
| 1 | EE | Yutaka Matsuno, Hiroyuki Sato: Flow Analytic Type System for Array Bound Checks. Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 1 | Atsushi Ohori | [2] |
| 2 | Hiroyuki Sato | [1] |