BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Minamide:Yasuhiko

Contributed to:

TACAS 20132013
FM 20122012
POPL 20092009
CIAA 20082008
FoSSaCS 20072007
SAS 20032003
IFL 20012001
ICFP 19981998
POPL 19981998
POPL 19961996

Wrote 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.
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.
Typed Closure Conversion (YM, JGM, RH), pp. 271–283.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.