Travelled to:1 × France
1 × Italy
1 × Portugal
1 × Sweden
6 × USA
Collaborated with:∅ A.Tozawa S.Mori T.Nishiyama J.Garrigue J.G.Morrisett R.Harper M.Tatsubori T.Onodera
Talks about:languag (2) convers (2) complex (2) weight (2) runtim (2) type (2) html (2) represent (1) interpret (1) translat (1)
Person: Yasuhiko Minamide
DBLP: Minamide:Yasuhiko
Contributed to:
2013
2012
2009
2008
2007
2003
2001
199819981996Wrote 10 papers:
- TACAS-2013-Minamide #automaton
- Weighted Pushdown Systems with Indexed Weight Domains (YM), pp. 230–244.
- FM-2012-MinamideM #analysis #html #parsing #reachability #specification #testing
- Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing (YM, SM), pp. 293–307.
- POPL-2009-TozawaTOM #php
- Copy-on-write in the PHP language (AT, MT, TO, YM), pp. 200–212.
- CIAA-2008-NishiyamaM #html
- A Translation from the HTML DTD into a Regular Hedge Grammar (TN, YM), pp. 122–131.
- FoSSaCS-2007-TozawaM #complexity #context-free grammar
- Complexity Results on Balanced Context-Free Languages (AT, YM), pp. 346–360.
- SAS-2003-Minamide
- Selective Tail Call Elimination (YM), pp. 153–170.
- IFL-2001-Minamide #behaviour #runtime #type system
- Runtime Behavior of Conversion Interpretation of Subtyping (YM), pp. 155–167.
- ICFP-1998-MinamideG #complexity #on the #runtime
- On the Runtime Complexity of Type-Directed Unboxing (YM, JG), pp. 1–12.
- POPL-1998-Minamide #data type #functional #representation
- A Functional Representation of Data Structures with a Hole (YM), pp. 75–84.
- POPL-1996-MinamideMH
- Typed Closure Conversion (YM, JGM, RH), pp. 271–283.