 | 2012 |
|---|
| 21 |       | Yuto Sakuma,
Yasuhiko Minamide,
Andrei Voronkov:
Translating regular expression matching into transducers.
J. Applied Logic 10(1): 32-51 (2012) |
| 2010 |
|---|
| 20 | | Yasuhiko Minamide,
Yuto Sakuma,
Andrei Voronkov:
Translating Regular Expression Matching into Transducers.
SYNASC 2010: 107-115 |
| 2009 |
|---|
| 19 | | Akihiko Tozawa,
Michiaki Tatsubori,
Tamiya Onodera,
Yasuhiko Minamide:
Copy-on-write in the PHP language.
POPL 2009: 200-212 |
| 2008 |
|---|
| 18 | | Takuya Nishiyama,
Yasuhiko Minamide:
A Translation from the HTML DTD into a Regular Hedge Grammar.
CIAA 2008: 122-131 |
| 2007 |
|---|
| 17 | | Akihiko Tozawa,
Yasuhiko Minamide:
Complexity Results on Balanced Context-Free Languages.
FoSSaCS 2007: 346-360 |
| 16 | | Yasuhiko Minamide:
Verified Decision Procedures on Context-Free Grammars.
TPHOLs 2007: 173-188 |
| 2006 |
|---|
| 15 | | Yasuhiko Minamide,
Akihiko Tozawa:
XML Validation for Context-Free Grammars.
APLAS 2006: 357-373 |
| 2005 |
|---|
| 14 | | Yasuhiko Minamide:
Static approximation of dynamically generated Web pages.
WWW 2005: 432-441 |
| 2004 |
|---|
| 13 | | Toshiaki Nishihara,
Yasuhiko Minamide:
Depth First Search.
Archive of Formal Proofs 2004: (2004) |
| 2003 |
|---|
| 12 | | Koji Okuma,
Yasuhiko Minamide:
Executing Verified Compiler Specification.
APLAS 2003: 178-194 |
| 11 | | Yasuhiko Minamide,
Koji Okuma:
Verifying CPS transformations in Isabelle/HOL.
MERLIN 2003 |
| 10 | | 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 | | 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 | | Yasuhiko Minamide:
A New Criterion for Safe Program Transformations.
Electr. Notes Theor. Comput. Sci. 41(3): 20-34 (2000) |
| 1999 |
|---|
| 5 | | Yasuhiko Minamide:
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation.
Electr. Notes Theor. Comput. Sci. 26: 105-120 (1999) |
| 1998 |
|---|
| 4 | | Yasuhiko Minamide,
Jacques Garrigue:
On the Runtime Complexity of Type-Directed Unboxing.
ICFP 1998: 1-12 |
| 3 | | Yasuhiko Minamide:
A Functional Representation of Data Structures with a Hole.
POPL 1998: 75-84 |
| 1996 |
|---|
| 2 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page