Futoshi Iwama

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

3 Futoshi Iwama, Naoki Kobayashi: A New Type System for JVM Lock Primitives. New Generation Comput. 26(2): 125-170 (2008)

2006

2 Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi: Resource usage analysis for a functional language with exceptions. PEPM 2006: 38-47

2002

1 Futoshi Iwama, Naoki Kobayashi: A new type system for JVM lock primitives. ASIA-PEPM 2002: 71-82

	2008
3		Futoshi Iwama, Naoki Kobayashi: A New Type System for JVM Lock Primitives. New Generation Comput. 26(2): 125-170 (2008)
	2006
2		Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi: Resource usage analysis for a functional language with exceptions. PEPM 2006: 38-47
	2002
1		Futoshi Iwama, Naoki Kobayashi: A new type system for JVM lock primitives. ASIA-PEPM 2002: 71-82

Coauthor Index