Kenichi Asai - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2014

Formalizing a correctness property of a type-directed partial evaluatorNoriko Hirota, Kenichi Asai. plpv 2014: 41-46 [doi]

2013

Special Issue Dedicated to ICFP 2011 EditorialKenichi Asai, Benjamin C. Pierce. JFP, 23(4):355-356, 2013. [doi]

2012

An Embedded Type DebuggerKanae Tsushima, Kenichi Asai. IFL 2013: 190-206 [doi]

2011

Reflection in direct styleKenichi Asai. GPCE 2011: 97-106 [doi]

Functional un|unparsingKenichi Asai, Oleg Kiselyov, Chung-chieh Shan. lisp, 24(4):311-340, 2011. [doi]

2010

Functional derivation of a virtual machine for delimited continuationsKenichi Asai, Arisa Kitani. ppdp 2010: 87-98 [doi]

MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and DemonstrationKanako Sakurai, Kenichi Asai. LOPSTR 2011: 84-98 [doi]

2009

On typing delimited continuations: three new solutions to the printf problemKenichi Asai. lisp, 22(3):275-291, 2009. [doi]

Representing Covert Movements by Delimited ContinuationsDaisuke Bekki, Kenichi Asai. jsai 2010: 161-180 [doi]

2007

Polymorphic Delimited ContinuationsKenichi Asai, Yukiyoshi Kameyama. aplas 2007: 239-254 [doi]

2005

Logical relations for call-by-value delimited continuationsKenichi Asai. sfp 2007: 63-78

2004

Offline partial evaluation for shift and resetKenichi Asai. PEPM 2004: 3-14 [doi]

2002

Online partial evaluation for shift and resetKenichi Asai. PEPM 2002: 19-30 [doi]

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002Kenichi Asai, Wei-Ngan Chin, editors, ACM, 2002. [doi]

2001

Integrating Partial Evaluators into InterpretersKenichi Asai. saig 2001: 126-145 [doi]

Binding-time Analysis for Both Static and Dynamic ExpressionsKenichi Asai. ngc, 20(1):27-52, 2001.

1999

Binding-Time Analysis for Both Static and Dynamic ExpressionsKenichi Asai. SAS 1999: 117-133 [doi]

1997

Partial Evaluation of Call-by-Value lambda-Calculus with Side-EffectsKenichi Asai, Hidehiko Masuhara, Akinori Yonezawa. PEPM 1997: 12-21 [doi]

1996

Object-Oriented Serializability in Real-Time Concurrency ControlKenichi Asai, Junpei Nishibayashi, Kouji Yoshihara, Motoyasu Nagata. codas 1996: 384

Duplication and Partial Evaluation For a Better Understanding of Reflective LanguagesKenichi Asai, Satoshi Matsuoka, Akinori Yonezawa. lisp, 9(2-3):203-241, 1996.

1995

Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial EvaluationHidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa. OOPSLA 1995: 300-315

Sign in or sign up to see more results.

runs on WebDSL