MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Kenichi Asai" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

Logical Relations for Call-by-value Delimited Continuations
by Kenichi Asai — 2007 — In Trends in Functional Programming
…Chapter 5 Logical Relations for Call-by-value Delimited Continuations Kenichi Asai 1 Abstract…
Cited by 1 (1 self) – Add To MetaCart

Online Partial Evaluation for Shift and Reset
by Kenichi Asai — 2002
…Online Partial Evaluation for Shift and Reset Kenichi Asai Department of Information Science…
Cited by 9 (1 self) – Add To MetaCart

Integrating Partial Evaluators into Interpreters
by Kenichi Asai — 2001 — In Second International Workshop on Semantics, Applications and Implementation of Program Generation
…Integrating Partial Evaluators into Interpreters Kenichi Asai Department of Information Science…
Cited by 3 (1 self) – Add To MetaCart

Can Partial Evaluation Improve the Performance of Ray Tracing?
by Kenichi Asai — 2002 — Natural Science Report, Vol.53, No.1
…. 1 (2002) 97 Can partial evaluation improve the performance of ray tracing? Kenichi Asai Department…
Cited by 1 (0 self) – Add To MetaCart

Duplication and Partial Evaluation - For a Better Understanding of Reflective Languages
by Kenichi Asai — 1996
… and Partial Evaluation --- For a Better Understanding of Reflective Languages --- KENICHI ASAI asai…
Cited by 12 (5 self) – Add To MetaCart

Binding-Time Analysis for Both Static and Dynamic Expressions
by Kenichi Asai, Human Activity — 1999 — In Static Analysis Symposium
… Static and Dynamic Expressions Kenichi ASAI Department of Information Science, Faculty of Science…
Cited by 11 (1 self) – Add To MetaCart

Polymorphic Delimited Continuations
by Kenichi Asai, Yukiyoshi Kameyama — 2007 — In Proc. Asian Programming Languages and Systems, LNCS 4807
…Polymorphic Delimited Continuations Kenichi Asai 1 and Yukiyoshi Kameyama 2 1 Department…
Cited by 3 (2 self) – Add To MetaCart

Roles of a Partial Evaluator for the Reflective Language Black
by Kenichi Asai, Kenichi Asai, Satoshi Matsuoka, Satoshi Matsuoka, Akinori Yonezawa, Akinori Yonezawa
…TECHNICAL REPORT 94-11 Roles of a Partial Evaluator for the Reflective Language Black Kenichi Asai…
Add To MetaCart

Partial Evaluator as a Compiler for Reflective Languages
by Kenichi Asai, Kenichi Asai, Hidehiko Masuhara, Hidehiko Masuhara, Satoshi Matsuoka, Satoshi Matsuoka, Akinori Yonezawa, Akinori Yonezawa — 1995
…TECHNICAL REPORT 95-10 Partial Evaluator as a Compiler for Reflective Languages Kenichi Asai…
Cited by 3 (3 self) – Add To MetaCart

Model Checking of Control-Finite CSP Programs
by Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa — 1993 — In Proceedings of the 26th Hawaii International Conference on System Sciences
…Model Checking of Control-Finite CSP Programs Kenichi Asai Satoshi Matsuoka Akinori Yonezawa…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB