2007 |
11 | EE | Kenichi Asai,
Yukiyoshi Kameyama:
Polymorphic Delimited Continuations.
APLAS 2007: 239-254 |
2005 |
10 | | Kenichi Asai:
Logical relations for call-by-value delimited continuations.
Trends in Functional Programming 2005: 63-78 |
2004 |
9 | EE | Kenichi Asai:
Offline partial evaluation for shift and reset.
PEPM 2004: 3-14 |
2002 |
8 | EE | Kenichi Asai:
Online partial evaluation for shift and reset.
PEPM 2002: 19-30 |
2001 |
7 | EE | Kenichi Asai:
Integrating Partial Evaluators into Interpreters.
SAIG 2001: 126-145 |
6 | | Kenichi Asai:
Binding-time Analysis for Both Static and Dynamic Expressions.
New Generation Comput. 20(1): 27-52 (2001) |
1999 |
5 | EE | Kenichi Asai:
Binding-Time Analysis for Both Static and Dynamic Expressions.
SAS 1999: 117-133 |
1997 |
4 | EE | Kenichi Asai,
Hidehiko Masuhara,
Akinori Yonezawa:
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.
PEPM 1997: 12-21 |
1996 |
3 | | Kenichi Asai,
Junpei Nishibayashi,
Kouji Yoshihara,
Motoyasu Nagata:
Object-Oriented Serializability in Real-Time Concurrency Control.
CODAS 1996: 384- |
2 | | Kenichi Asai,
Satoshi Matsuoka,
Akinori Yonezawa:
Duplication and Partial Evaluation For a Better Understanding of Reflective Languages.
Lisp and Symbolic Computation 9(2-3): 203-241 (1996) |
1995 |
1 | | Hidehiko Masuhara,
Satoshi Matsuoka,
Kenichi Asai,
Akinori Yonezawa:
Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation.
OOPSLA 1995: 300-315 |