Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Publication
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.
Asai, K.
"On Typing Delimited Continuations:
Three New Solutions to the Printf Problem,"
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
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