Yutaka Matsuno

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

2 Yutaka Matsuno, Atsushi Ohori: A type system equivalent to static single assignment. PPDP 2006: 249-260

2003

1 Yutaka Matsuno, Hiroyuki Sato: Flow Analytic Type System for Array Bound Checks. Electr. Notes Theor. Comput. Sci. 78: (2003)

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

Coauthor Index