| ชื่อเรื่อง | : | Componentwise program construction : requirements and solutions |
| นักวิจัย | : | Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu |
| คำค้น | : | Componentwise program construction , Computation paradigm , Equivalent transformation , Program synthesis , Rewriting rules , Rule-based computation |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2549 |
| อ้างอิง | : | WSEAS transactions on information science and applications. 3,7 (2006) pp. 1214-1221 , 1790-0832 , http://dspace.library.tu.ac.th/handle/3517/811 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | In the equivalent transformation (ET) computation model, a program is a set of procedural rewriting rules for answer-preserving transformation of problems with respect to given background knowledge. In this paper, we discuss an approach to program construction by creating and accumulating individually correct and efficient program components one by one, referred to as componentwise program construction. Basic requirements for componentwise program construction are identified, based on which we show that the ET model possesses several desirable properties for this program construction approach, in particular, compared with the logic programming model. In addition, we compare the expressive power of program components in the ET model and that of components in the logic programming model by viewing computation in the latter model as problem transformation using only one specific class of rewriting rules, i.e., single-head general unfolding-based rules, and then demonstrating that a larger class of rules is needed for effective computation. |
| บรรณานุกรม | : |
Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . (2549). Componentwise program construction : requirements and solutions.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . 2549. "Componentwise program construction : requirements and solutions".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . "Componentwise program construction : requirements and solutions."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2549. Print. Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . Componentwise program construction : requirements and solutions. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2549.
|
