List of publication
The documents contained in these directories are included by the
contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a non-commercial basis. Copyright and
all rights therein are maintained by the authors or by other copyright
holders, notwithstanding that they have offered their works here
electronically. It is understood that all persons copying this
information will adhere to the terms and constraints invoked by each
author's copyright. These works may not be reposted without the
explicit permission of the copyright holder.
-
K. Asai
"Reflection in Direct Style,"
Proceedings of the Tenth Conference on
Generative Programming and Component Engineering (GPCE '11),
pp. 97-106 (October 2011).
abstract.
-
Masuko, M., and K. Asai
"Caml Light + shift/reset = Caml Shift,"
Theory and Practice of Delimited Continuations (TPDC 2011),
pp. 33-46 (May 2011).
abstract,
a4.pdf.
-
Asai, K., and A. Kitani
"Functional Derivation of a Virtual Machine for Delimited Continuations,"
Proceedings of the 2010 Symposium on Principles and Practice of
Declarative Programming (PPDP '10), pp. 87-97 (July 2010).
abstract,
a4.pdf,
program.
-
Sakurai, K., and K. Asai
"MikiBeta: A General GUI Library for Visualizing Proof Trees,"
20th International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR '10), pp. 184-193 (July 2010).
abstract,
a4.pdf.
Post conference version in
LNCS 6564,
pp. 84-98 (April 2011).
abstract.
-
Bekki, D., and K. Asai
"Representing Covert Movements by Delimited Continuations,"
Proceedings of the Sixth International Workshop on Logic and
Engineering of Natural Language Semantics (LENLS 6),
pp. 71-90 (November 2009).
-
Masuko, M., and K. Asai
"Direct Implementation of Shift and Reset in the MinCaml Compiler,"
Proceedings of the 2009 ACM SIGPLAN Workshop on ML,
pp. 49-60 (September 2009).
Technical Report of Department of
Information Science, Ochanomizu University, OCHA-IS 09-1, 27 pages
(May 2009).
abstract,
cover page,
a4.pdf.
-
Kitani, A., and K. Asai
"Derivation of an Abstract Machine for lambda-calculus with Delimited
Continuation Constructs,"
Technical Report of Department of
Information Science, Ochanomizu University, OCHA-IS 08-3, 25 pages
(March 2009).
abstract,
cover page,
a4.pdf.
-
Asai, K.
"On Typing Delimited Continuations:
Three New Solutions to the Printf Problem,"
Higher-Order and Symbolic Computation, Vol. 22, No. 3, pp. 275-291,
Springer (September 2009).
Technical Report of Department of
Information Science, Ochanomizu University, OCHA-IS 08-2, 17 pages
(September 2008).
abstract,
cover page,
a4.ps,
a4.pdf.
(A shorter version is available as OCHA-IS 07-1. See below.)
-
Kameyama, Y. and K. Asai
"Strong Normalizatoin of Polymorphic Calculus for Delimited Continuations,"
Austrian-Japanese Workshop on Symbolic Computation in Software Science
(SCSS 2008),
RISC-Linz Report Series No. 08-08,
pp. 96-108 (July 2008).
abstract,
proceedings
-
Asai, K. and Y. Kameyama
"Polymorphic Delimited Continuations,"
In Z. Shao editor,
5th Asian Symposium on Programming Languages and Systems (APLAS 2007),
LNCS 4807,
pp. 239-254 (November 2007).
abstract,
slides.
An extended version with proofs is available as
Technical Report of Department of Computer Science,
University of Tsukuba,
CS-TR-07-10,
22 pages, (November 2007).
-
Asai, K.
"On Typing Delimited Continuations:
Three New Solutions to the Printf Problem,"
Technical Report of Department of
Information Science, Ochanomizu University, OCHA-IS 07-1, 9 pages
(September 2007).
abstract,
cover page,
a4.ps,
a4.pdf,
slides presented at
Continuation Fest 2008
(April 2008).
The extended version with an introduction to CPS, shift and reset is
available as OCHA-IS 08-2. See above.
-
Asai, K.
"Logical Relations for Call-by-value Delimited Continuations,"
A chapter of
Trends in Functional Programming, Vol. 6,
pp. 63-78, Intellect (2007).
abstract,
a4.ps,
a4.pdf.
An extended version appears as Technical Report of Department of
Information Science, Ochanomizu University, OCHA-IS 06-1, 28 pages
(April 2006).
cover page,
a4.ps,
a4.pdf
-
Asai, K.
"Logical Relations for Call-by-value Delimited Continuations,"
Sixth Symposium on Trends in Functional Programming (TFP 2005),
pp. 413-428 (September 2005).
abstract,
a4.ps
-
Asai, K.
"OCaml Course in Ochanomizu University,"
Presented at "Tips and Tricks" session of the ACM SIGPLAN Workshop on
Functional and Declarative Programming in Education (FDPE '05),
(September 2005).
html
-
Asai, K.
"Offline Partial Evaluation for Shift and Reset,"
ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based
Program Manipulation (PEPM '04), pp. 3-14 (August 2004).
abstract,
a4.ps
-
Asai, K.
"Reflecting on the Metalevel Interpreter Written in Direct Style,"
Presented at the International Lisp Conference 2003 (ILC 2003),
New York City (October 2003).
abstract,
a4.ps
-
Asai, K.
"Can partial evaluation improve the performance of ray tracing?,"
Natural Science Report, Ochanomizu University, Vol. 53, No. 1,
pp. 97-100 (June 2002).
Presented at the 3rd Joint Forum of Ewha Womans U., Japan Women's
U. and Ochanomizu U. for the Promotion of Education and Research in
Science for Women in the 21st Century (November 2001).
abstract,
a4.ps
-
Asai, K.
"Online Partial Evaluation for Shift and Reset,"
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based
Program Manipulation (PEPM '02), pp. 19-30 (January 2002).
abstract,
a4.ps
-
Asai, K.
"Binding-Time Analysis for Both Static and Dynamic Expressions,"
New Generation Computing, Vol. 20, No. 1, pp. 27-51 (November 2001).
abstract,
a4.ps
-
Asai, K.
"Integrating Partial Evaluators into Interpreters,"
In W. Taha editor, Semantics, Applications, and Implementation of
Program Generation
(LNCS 2196),
pp. 126-145 (September 2001).
abstract,
a4.ps,
see
LNCS 2196
for pdf
-
Asai, K.
"Binding-Time Analysis for Both Static and Dynamic Expressions,"
In A. Cortesi and G. File editors, Static Analysis
(LNCS 1694),
pp. 117-133 (September 1999).
abstract,
a4.ps,
see
LNCS 1694
for pdf
-
Asai, K., H. Masuhara, and A. Yonezawa
"Partial Evaluation of Call-by-value Lambda-calculus with
Side-effects,"
ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based
Program Manipulation (PEPM '97), pp. 12-21 (June 1997).
ACM SIGPLAN Notices, Vol. 32, No. 12 (December 1997).
abstract,
a4.ps
-
Asai, K.
"The Reflective Language Black,"
Doctoral Dissertation,
Department of Information Science,
Graduate School of Science,
University of Tokyo,
103 pages
(February 1997).
abstract,
a4.ps
-
Asai, K., H. Masuhara, and A. Yonezawa
"Partial Evaluation of Call-by-value lambda-calculus with
Side-effects,"
Technical report of Department of Information Science, University of
Tokyo, 96-04 (November 1996).
abstract,
a4.ps
-
Asai, K., S. Matsuoka, and A. Yonezawa
"Duplication and Partial Evaluation - For a Better Understanding of
Reflective Languages -,"
Lisp and Symbolic Computation, Vol. 9, Nos. 2/3, pp. 203-241,
Kluwer Academic Publishers (May/June 1996).
abstract,
a4.ps,
letter.ps,
program
-
Asai, K., H. Masuhara, S. Matsuoka, and A. Yonezawa
"Partial evaluation as a compiler for reflective languages,"
Technical report of Department of Information Science, University of
Tokyo, 95-10 (December 1995).
abstract,
a4.ps
-
Masuhara, H., S. Matsuoka, K. Asai, and A. Yonezawa
"Compiling Away the Meta-Level in Object-Oriented Concurrent
Reflective Languages Using Partial Evaluation,"
Tenth Annual Conference of Object-Oriented Programming Systems,
Languages, and Applications (OOPSLA '95), pp. 300-315, (October 1995).
ACM SIGPLAN Notices, Vol. 30, No. 10 (October 1995).
See
Masuhara's page.
-
Asai, K., S. Matsuoka, and A. Yonezawa
"Roles of a Partial Evaluator for the Reflective Language Black,"
Technical report of Department of Information Science, University of
Tokyo, 94-11 (May 1994).
abstract,
a4.ps,
letter.ps
Last modified on October 23, 2011