Equivalent Transformation Rules as Components of Programs

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Hiroshi Mabuchi Articles by Kiyoshi Akama Articles by Toshihiro Wakatsuki

First International Conference on Innovative Computing, Information and Control - Volume II (ICICIC'06)

Beijing, China

August 30-September 01

ISBN: 0-7695-2616-0

	ASCII Text	x
	Hiroshi Mabuchi, Kiyoshi Akama, Toshihiro Wakatsuki, "Equivalent Transformation Rules as Components of Programs," Innovative Computing ,Information and Control, International Conference on, vol. 2, pp. 282-287, First International Conference on Innovative Computing, Information and Control - Volume II (ICICIC'06), 2006.

	BibTex	x
	@article{ 10.1109/ICICIC.2006.271, author = {Hiroshi Mabuchi and Kiyoshi Akama and Toshihiro Wakatsuki}, title = {Equivalent Transformation Rules as Components of Programs}, journal ={Innovative Computing ,Information and Control, International Conference on}, volume = {2}, year = {2006}, isbn = {0-7695-2616-0}, pages = {282-287}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICICIC.2006.271}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Innovative Computing ,Information and Control, International Conference on TI - Equivalent Transformation Rules as Components of Programs SN - 0-7695-2616-0 SP282 EP287 A1 - Hiroshi Mabuchi, A1 - Kiyoshi Akama, A1 - Toshihiro Wakatsuki, PY - 2006 KW - null VL - 2 JA - Innovative Computing ,Information and Control, International Conference on ER -

Hiroshi Mabuchi, Iwate Prefectural University, Japan

Kiyoshi Akama, Hokkaido University, Japan

Toshihiro Wakatsuki, Hokkaido University, Japan

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICICIC.2006.271

Based on the equivalent transformation ( ET ) computation model, where computation is regarded as ET of problem descriptions and a program consists of many ET rules, we discuss how to regard ET rules as components of programs and how to define specifications of ET rules in order to guarantee correct and wide applicability of components.

Citation:

Hiroshi Mabuchi, Kiyoshi Akama, Toshihiro Wakatsuki, "Equivalent Transformation Rules as Components of Programs," icicic, vol. 2, pp.282-287, First International Conference on Innovative Computing, Information and Control - Volume II (ICICIC'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.