|
СТ |
Deterministic Higher-Order Patterns for Program Transformation |
2004 |
Yokoyama T., Hu Zh., Takeichi M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
An Injective Language for Reversible Computation |
2004 |
Mu S. -Ch., Hu Z., Takeichi M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
Parallelization with Tree Skeletons |
2003 |
Matsuzaki K., Hu Z., Takeichi M. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
An Accumulative Parallel Skeleton for All |
2002 |
Hu Z., Iwasaki H., Takeichi M. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
|
СТ |
Generation of Efficient Programs for Solving Maximum Multi-Marking Problems |
2001 |
Sasano I., Hu Z., Takeichi M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
|
СТ |
Calculating a New Data Mining Algorithm for Market Basket Analysis |
2000 |
Hu Z., Chin W. -N., Takeichi M. |
|
|
|
Lecture Notes in Computer Science |
03.02.2000 |
|
СТ |
Parallelization in Calculational Forms |
1998 |
Hu Z., Takeichi M., Chin W. -N. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
|
СТ |
Tupling Calculation Eliminates Multiple Data Traversals |
1997 |
Hu Z., Iwasaki H., Takeichi M., Takano A. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
Deriving Structurial Hylomorphisms From Recursive Definitions |
1996 |
Hu Z., Iwasaki H., Takeichi M. |
|
|
|
SIGPLAN Notices |
11.09.1996 |
|
СТ |
Relationship between Lambda Hoisting and Fully Lazy Lambda Lifting |
1992 |
Kaneko K., Takeichi M. |
|
|
|
J. Information Processing |
24.06.1993 |
