Kenichi Asai

	2011
17		Kenichi Asai: Reflection in direct style. GPCE 2011: 97-106
	2010
16		Kanako Sakurai, Kenichi Asai: MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration. LOPSTR 2010: 84-98
15		Kenichi Asai, Arisa Kitani: Functional derivation of a virtual machine for delimited continuations. PPDP 2010: 87-98
	2009
14		Daisuke Bekki, Kenichi Asai: Representing Covert Movements by Delimited Continuations. JSAI-isAI Workshops 2009: 161-180
13		Kenichi Asai: On typing delimited continuations: three new solutions to the printf problem. Higher-Order and Symbolic Computation 22(3): 275-291 (2009)
	2007
12		Kenichi Asai, Yukiyoshi Kameyama: Polymorphic Delimited Continuations. APLAS 2007: 239-254
	2005
11		Kenichi Asai: Logical relations for call-by-value delimited continuations. Trends in Functional Programming 2005: 63-78
	2004
10		Kenichi Asai: Offline partial evaluation for shift and reset. PEPM 2004: 3-14
	2002
9		Kenichi Asai, Wei-Ngan Chin: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002 ACM 2002
8		Kenichi Asai: Online partial evaluation for shift and reset. PEPM 2002: 19-30
	2001
7		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		Kenichi Asai: Binding-Time Analysis for Both Static and Dynamic Expressions. SAS 1999: 117-133
	1997
4		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

Coauthor Index

1	Daisuke Bekki	[14]
2	Wei-Ngan Chin	[9]
3	Yukiyoshi Kameyama	[12]
4	Arisa Kitani	[15]
5	Hidehiko Masuhara	[1] [4]
6	Satoshi Matsuoka	[1] [2]
7	Motoyasu Nagata	[3]
8	Junpei Nishibayashi	[3]
9	Kanako Sakurai	[16]
10	Akinori Yonezawa	[1] [2] [4]
11	Kouji Yoshihara	[3]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page