DocumentCode
2992465
Title
Calculation carrying programs - how to code program transformations
Author
Takeichi, Masato ; Hu, Zhenjiang
Author_Institution
Dept. of Inf. Eng., Tokyo Univ., Japan
fYear
2000
fDate
2000
Firstpage
250
Lastpage
259
Abstract
Proposes a new mechanism called “calculation-carrying programs” that can relax the tension between efficiency and clarity in programming. The idea is to accompany clear programs with some calculation specifying the intention of how to manipulate the programs to be efficient. This calculation specification can be executed automatically by our compiler to derive efficient programs. As a result, each calculation-carrying program becomes a complete document, including a concise specification of the given problem, as well as an effective way to derive both efficient and correct code
Keywords
calculation; formal specification; programming; system documentation; calculation specification; calculation-carrying programs; compiler; efficient programs; program clarity; program manipulation; program transformation coding; self-documentation; Calculus; Costs; Linear code; Linear programming; Program processors; Programming profession;
fLanguage
English
Publisher
ieee
Conference_Titel
Principles of Software Evolution, 2000. Proceedings. International Symposium on
Conference_Location
Kanazawa
Print_ISBN
0-7695-0906-1
Type
conf
DOI
10.1109/ISPSE.2000.913246
Filename
913246
Link To Document