Travelled to:1 × Japan
1 × Switzerland
1 × USA
Collaborated with:N.Kobayashi T.Nakamura H.Takeuchi A.Igarashi
Talks about:languag (2) construct (1) industri (1) function (1) descript (1) softwar (1) resourc (1) contain (1) analysi (1) system (1)
Person: Futoshi Iwama
DBLP: Iwama:Futoshi
Contributed to:
2012
20062002Wrote 3 papers:
- ICSE-2012-IwamaNT #industrial #natural language #parsing #specification
- Constructing parser for industrial software specifications containing formal and natural language description (FI, TN, HT), pp. 1012–1021.
- PEPM-2006-IwamaIK #analysis #exception #functional #resource management
- Resource usage analysis for a functional language with exceptions (FI, AI, NK), pp. 38–47.
- ASIA-PEPM-2002-IwamaK #type system #virtual machine
- A new type system for JVM lock primitives (FI, NK), pp. 71–82.