| 2009 |
|---|
| 18 | EE | Akihiko Tozawa,
Michiaki Tatsubori,
Tamiya Onodera,
Yasuhiko Minamide:
Copy-on-write in the PHP language.
POPL 2009: 200-212 |
| 2008 |
|---|
| 17 | EE | Takuya Nishiyama,
Yasuhiko Minamide:
A Translation from the HTML DTD into a Regular Hedge Grammar.
CIAA 2008: 122-131 |
| 2007 |
|---|
| 16 | EE | Akihiko Tozawa,
Yasuhiko Minamide:
Complexity Results on Balanced Context-Free Languages.
FoSSaCS 2007: 346-360 |
| 15 | EE | Yasuhiko Minamide:
Verified Decision Procedures on Context-Free Grammars.
TPHOLs 2007: 173-188 |
| 2006 |
|---|
| 14 | EE | Yasuhiko Minamide,
Akihiko Tozawa:
XML Validation for Context-Free Grammars.
APLAS 2006: 357-373 |
| 2005 |
|---|
| 13 | EE | Yasuhiko Minamide:
Static approximation of dynamically generated Web pages.
WWW 2005: 432-441 |
| 2003 |
|---|
| 12 | EE | Koji Okuma,
Yasuhiko Minamide:
Executing Verified Compiler Specification.
APLAS 2003: 178-194 |
| 11 | EE | Yasuhiko Minamide,
Koji Okuma:
Verifying CPS transformations in Isabelle/HOL.
MERLIN 2003 |
| 10 | EE | Yasuhiko Minamide:
Selective Tail Call Elimination.
SAS 2003: 153-170 |
| 2001 |
|---|
| 9 | | Yasuhiko Minamide,
Koji Okuma:
Verifying the CPS Transformation in Isabelle/HOL.
APLAS 2001: 29-37 |
| 8 | EE | Yasuhiko Minamide:
Runtime Behavior of Conversion Interpretation of Subtyping.
IFL 2001: 155-167 |
| 2000 |
|---|
| 7 | | Yasuhiko Minamide:
A New Criterion for Safe Program Transformations.
APLAS 2000: 203-209 |
| 6 | EE | Yasuhiko Minamide:
A New Criterion for Safe Program Transformations.
Electr. Notes Theor. Comput. Sci. 41(3): (2000) |
| 1999 |
|---|
| 5 | EE | Yasuhiko Minamide:
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation.
Electr. Notes Theor. Comput. Sci. 26: (1999) |
| 1998 |
|---|
| 4 | EE | Yasuhiko Minamide,
Jacques Garrigue:
On the Runtime Complexity of Type-Directed Unboxing.
ICFP 1998: 1-12 |
| 3 | EE | Yasuhiko Minamide:
A Functional Representation of Data Structures with a Hole.
POPL 1998: 75-84 |
| 1996 |
|---|
| 2 | EE | Yasuhiko Minamide,
J. Gregory Morrisett,
Robert Harper:
Typed Closure Conversion.
POPL 1996: 271-283 |
| 1994 |
|---|
| 1 | | Yasuhiko Minamide:
Sharing Analysis Based on Type Interface.
Formal Asp. Comput. 6(6): 659-675 (1994) |
