Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Minamide, Yasuhiko - Department of Computer Science, University of Tsukuba
Typed Closure Conversion Yasuhiko Minamide y
Typed Closure Conversion Yasuhiko Minamide 1
III S-10 (2010 ) : (minamide@cs.tsukuba.ac.jp)
III J-9 (2009 ) : (minamide@cs.tsukuba.ac.jp)
XML Validation for Context-Free Grammars Yasuhiko Minamide1
Runtime Behavior of Conversion Interpretation of Subtyping
Complexity Results on Balanced Context-Free Akihiko Tozawa1
III S-10 (2010 ) : (minamide@cs.tsukuba.ac.jp)
%G!<%?9=B$$H%"%k%4%j%:%`
1.1 (predicate logic) 1.1 ( (term))
Verified Decision Procedures on Context-Free Yasuhiko Minamide
Executing Verified Compiler Specification Koji Okuma1
%G!<%?9=B$$H%"%k%4%j%:%`
%G!<%?9=B$$H%"%k%4%j%:%`
Selective Tail Call Elimination Yasuhiko Minamide
Static Approximation of Dynamically Generated Web Pages Yasuhiko Minamide
Compilation Based on a Calculus for Explicit Type Passing Yasuhiko Minamide
A New Criterion for Safe Program Transformations
%G!<%?9=B$$H%"%k%4%j%:%`
H9g: 4 7n21 F| (Ds=P 5 7n12 F|)
III S-10 (2010 ) : (minamide@cs.tsukuba.ac.jp)
A Functional Representation of Data Structures with a Hole Yasuhiko Minamide
1.1 (predicate logic) 1.1 ( (term))
Verifying CPS Transformations in Isabelle/HOL Yasuhiko Minamide
Validating Dynamically Generated XHTML Documents Nobuo OTOI, Yasuhiko MINAMIDE
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation
III S-10 (2011 ) : (minamide@cs.tsukuba.ac.jp)
III S-10 (2011 ) : (minamide@cs.tsukuba.ac.jp)
III S-10 (2011 ) : (minamide@cs.tsukuba.ac.jp)
