Yasuhiko Minamide

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)

Coauthor Index

1	Jacques Garrigue	[4]
2	Robert Harper	[2]
3	J. Gregory Morrisett (Greg Morrisett)	[2]
4	Koji Okuma	[9] [11] [12]
5	Akihiko Tozawa	[14] [16]

Colors in the list of coauthors