BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
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.

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.