Calculating an optimal homomorphic algorithm for bracket matching

von Hu, Zhenjinag
Veröffentlicht 1998

A calculational framework for parallelization of sequential programs

von Hu, Zhenjiang
Veröffentlicht 1997

Calculation carrying programs

von Hu, Zhenjiang
Veröffentlicht 1999

Yicho : a system for programming program calculations

von Yokoyama, Tetsuo
Veröffentlicht 2002

An accumulative skeleton for all

von Hu, Zhenjinag
Veröffentlicht 2001

Towards manipulation of mutually recursive functions

von Iwasaki, Hideya
Veröffentlicht 1997

Bidirectionalizing xquery : updating XML through materialized xquery view

von Liu, Dongxi
Veröffentlicht 2006

A compositional framework for mining longest ranges

von Zhao, Haiyan
Veröffentlicht 2002

Parallelization with tree skeletons

von Matsuzaki, Kiminori
Veröffentlicht 2003

Design and implementation of general tree skeletons

von Matsuzaki, Kiminori
Veröffentlicht 2005

Towards polytypic parallel programming

von Hu, Zhenjiang
Veröffentlicht 1998

Towards Smart Data Sharing by Updatable Views

von Onizuka, Makoto
Veröffentlicht in SFDI (4. : 2020 : Online) Software foundations for data interoperability and large scale graph data analytics (2020)

A case study on modular transformation strategy

von Hu, Zhenjiang
Veröffentlicht 1999

A modular derivation strategy via fusion and tupling

von Chin, Wei-Ngan
Veröffentlicht 1997

Derivation of the Aho-Corasick algorithm by fully lazy evaluation with lazy memo-ization

von Kaneko, Keiichi
Veröffentlicht 1994

Promotional transformation of monadic programs

von Hu, Zhenjiang
Veröffentlicht 1995

Making recursions manipulable by constructing medio-types

von Hu, Zhenjiang
Veröffentlicht 1995

Cheap tupling transformation

von Hu, Zhenjiang
Veröffentlicht 1996

Deriving structural hylomorphisms from recursive definitions

von Hu, Zhenjiang
Veröffentlicht 1995

Calculating accumulations

von Hu, Zhenjiang
Veröffentlicht 1996