Masato Takeichi

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Type-based specialization of xml transformations.

[BibT_eX]

[DOI]

Kazutaka Matsuda

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Supporting Parallel Updates with Bidirectional Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2009

2008

A programmable editor for developing structured documents based on bidirectional transformations.

[BibT_eX]

[DOI]

Shin-Cheng Mu

High. Order Symb. Comput., 2008

Write it recursively: a generic framework for optimal path queries.

[BibT_eX]

[DOI]

Akimasa Morihata

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2007

A Web Service Architecture for Bidirectional XML Updating.

[BibT_eX]

[DOI]

Proceedings of the Advances in Data and Web Management, 2007

Automatic inversion generates divide-and-conquer parallel programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Bidirectional interpretation of XQuery.

[BibT_eX]

[DOI]

Dongxi Liu

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Towards automatic model synchronization from model transformations.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Bidirectionalization transformation based on automatic derivation of view complement functions.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Domain-Specific Optimization Strategy for Skeleton Programs.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2007, 2007

2006

Parallel skeletons for manipulating general trees.

[BibT_eX]

[DOI]

Parallel Comput., 2006

Towards automatic parallelization of tree reductions in dynamic programming.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30, 2006

Swapping Arguments and Results of Recursive Functions.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

2005

Systematic Derivation of Tree Contraction Algorithms.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2005

Program Optimizations and Transformations in Calculation Form.

[BibT_eX]

[DOI]

Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

An environment for maintaining computation dependency in XML documents.

[BibT_eX]

[DOI]

Dongxi Liu

Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

2004

Deterministic second-order patterns.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

An Injective Language for Reversible Computation.

[BibT_eX]

[DOI]

Shin-Cheng Mu

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

EMMA: a web-based report system for programming course--automated verification and enhanced feedback.

[BibT_eX]

[DOI]

Kazuhiko Kakehi

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

An Algebraic Approach to Bi-directional Updating.

[BibT_eX]

[DOI]

Shin-Cheng Mu

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

List Homomorphism with Accumulation.

[BibT_eX]

Kazuhiko Kakehi

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Deterministic Higher-Order Patterns for Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

An Efficient Staging Algorithm for Binding-Time Analysis.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

Parallelization with Tree Skeletons.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse of a Small User Corpus.

[BibT_eX]

[DOI]

Daichi Hayakawa

Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics, 2003

2002

A Compositional Framework for Mining Longest Ranges.

[BibT_eX]

[DOI]

Haiyan Zhao

Proceedings of the Discovery Science, 5th International Conference, 2002

Entering Text with a Four-Button Device.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Computational Linguistics, 2002

Yicho - A System for Programming Program Calculations.

[BibT_eX]

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.

[BibT_eX]

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

An Optimal Staging Algorithm.

[BibT_eX]

Takuma Murakami

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Implementation of Parallel Tree Skeletons on Distributed Systems.

[BibT_eX]

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Fusion Transformation on Functional Programs of Regular Expression Types.

[BibT_eX]

Kazuhiko Kakehi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem.

[BibT_eX]

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Calculating a New Data Mining Algorithm for Market Basket Analysis.

[BibT_eX]

Wei-Ngan Chin

J. Funct. Log. Program., 2001

Generation of Efficient Programs for Solving Maximum Multi-marking Problems.

[BibT_eX]

[DOI]

Isao Sasano

Proceedings of the Semantics, 2001

Personalization of Text Entry Systems for Mobile Phones.

[BibT_eX]

[DOI]

Proceedings of the Sixth Natural Language Processing Pacific Rim Symposium, 2001

Thai Text Entry with Digits.

[BibT_eX]

[DOI]

Proceedings of the Sixth Natural Language Processing Pacific Rim Symposium, 2001

Japanese Text Input System With Digits.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Human Language Technology Research, 2001

A Compositional Framework for Querying Optimized Ranges.

[BibT_eX]

Haiyan Zhao

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

An Accumulative Parallel Skeleton for All.

[BibT_eX]

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Deriving Parallel Codes via Invariants.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 7th International Symposium, 2000

Context-sensitive detection and correction of homonym errors in Japanese texts (poster session).

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Information Retrieval with Asian Languages, 2000, Hong Kong, China, September 30, 2000

Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems.

[BibT_eX]

[DOI]

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Mining Optimized Ranges.

[BibT_eX]

Haiyan Zhao

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

Calculating an Optimal Homomorphic Algorithm for Bracket Matching.

[BibT_eX]

[DOI]

Parallel Process. Lett., 1999

Calculating Accumulations.

[BibT_eX]

[DOI]

New Gener. Comput., 1999

Diffusion: Calculating Efficient Parallel Programs.

[BibT_eX]

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Effects of IP packet loss and picture frame reduction on MPEG1 subjective quality.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE Workshop on Multimedia Signal Processing, 1999

1998

Program Transformation in Calculational Form.

[BibT_eX]

[DOI]

Akihiko Takano

ACM Comput. Surv., 1998

Parallelization in Calculational Forms.

[BibT_eX]

[DOI]

Wei-Ngan Chin

Proceedings of the POPL '98, 1998

Towards Manipulation of Mutually Recursive Functions.

[BibT_eX]

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1997

Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1997

Relational Semantics for Locally Nondeterministic Programs.

[BibT_eX]

[DOI]

Liangwei Xu

New Gener. Comput., 1997

Tupling Calculation Eliminates Multiple Data Traversals.

[BibT_eX]

[DOI]

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

A calculational fusion system HYLO.

[BibT_eX]

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

Cheap Tupling in Calculational Form.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1996

Construction of List Homomorphisms by Tupling and Fusion.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Deriving Structural Hylomorphisms From Recursive Definitions.

[BibT_eX]

[DOI]

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1994

Derivation of Algorithms by Introduction of Generation Functions.

[BibT_eX]

[DOI]

Liangwei Xu

New Gener. Comput., 1994

1987

Partial Parametrization Eliminates Multiple Traversals of Data Structures.

[BibT_eX]

[DOI]

Acta Informatica, 1987

1986

Inserting Injection Operations to Denotational Specifications.

[BibT_eX]

[DOI]