Title :
Equivalent Transformation Rules as Components of Programs
Author :
Mabuchi, Hiroshi ; Akama, Kiyoshi ; Wakatsuki, Toshihiro
Author_Institution :
Fac. of Software & Inf. Sci., Iwate Prefectural Univ.
fDate :
Aug. 30 2006-Sept. 1 2006
Abstract :
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
Keywords :
formal specification; object-oriented programming; optimising compilers; ET computation model; ET rule specification; component-based software; equivalent transformation rules; program components; Automatic generation control; Computational modeling; Cost function; Humans; Information science; Power generation; Productivity; Programming;
Conference_Titel :
Innovative Computing, Information and Control, 2006. ICICIC '06. First International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7695-2616-0
DOI :
10.1109/ICICIC.2006.271
