DocumentCode
456732
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.
Volume
2
fYear
2006
fDate
Aug. 30 2006-Sept. 1 2006
Firstpage
282
Lastpage
287
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Innovative Computing, Information and Control, 2006. ICICIC '06. First International Conference on
Conference_Location
Beijing
Print_ISBN
0-7695-2616-0
Type
conf
DOI
10.1109/ICICIC.2006.271
Filename
1691982
Link To Document