A Calculational Fusion System HYLO

A Calculational Fusion System HYLO (1997)

Cached

Download Links

[www-sop.inria.fr]
[www.ipl.t.u-tokyo.ac.jp]

Other Repositories/Bibliography

DBLP

by Yoshiyuki Onoue , Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi , Y. Onoue , Z. Hu , H. Iwasaki , M. Takeichi

Citations:

32 - 10 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Calculational Fusion System HYLO	user correction - Legacy Corrections
AUTHOR NAME	Yoshiyuki Onoue	user correction - Legacy Corrections
AUTHOR AFFIL	A Calculational Fusion System	user correction - Legacy Corrections
AUTHOR NAME	Zhenjiang Hu	user correction - Legacy Corrections
AUTHOR AFFIL	A Calculational Fusion System	user correction - Legacy Corrections
AUTHOR NAME	Hideya Iwasaki	user correction - Legacy Corrections
AUTHOR AFFIL	A Calculational Fusion System	user correction - Legacy Corrections
AUTHOR NAME	Masato Takeichi	user correction - Legacy Corrections
AUTHOR AFFIL	A Calculational Fusion System	user correction - Legacy Corrections
AUTHOR NAME	Y. Onoue	user correction - Legacy Corrections
AUTHOR NAME	Z. Hu	user correction - Legacy Corrections
AUTHOR AFFIL	y	user correction - Legacy Corrections
AUTHOR NAME	H. Iwasaki	user correction - Legacy Corrections
AUTHOR AFFIL	z	user correction - Legacy Corrections
AUTHOR NAME	M. Takeichi	user correction - Legacy Corrections
AUTHOR AFFIL	; y; yDepartment of Information Engineering, University of Tokyo; zDepartment of Computer Science; Tokyo University of Agriculture and Technology	user correction - Legacy Corrections
ABSTRACT	Fusion, one of the most useful transformation tactics for deriving efficient programs, is the process whereby separate pieces of programs are fused into a single one, leading to an efficient program with no intermediate data structures produced. In this paper, we report our on-going investigation on the design and implementation of an automatic transformation system HYLO which performs fusion transformation in a more systematic and more general way than any other systems. The distinguished point of our system is its calculational feature based on simple application of transformation laws rather than traditional search-based transformation. Keywords Program Transformation, Fusion, Constructive Algorithmics, Bird-Meertens Formalisms 1 INTRODUCTION Program transformation has been advocated as the linchpin of a programming paradigm in which the derivation of efficient programs from naive specification of problems is a formal and mechanically supported process [PP93]. It does not attempt ...	user correction - Legacy Corrections
YEAR	1997	user correction - Legacy Corrections
CITATIONS	19 found	ParsCit 1.0