The SCEAS System
Navigation Menu

Search the dblp DataBase


Yasuhiko Minamide: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  17. Copy-on-write in the PHP language. [Citation Graph (, )][DBLP]

  18. A Translation from the HTML DTD into a Regular Hedge Grammar. [Citation Graph (, )][DBLP]

Search in 0.010secs, Finished in 0.011secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002