| ชื่อเรื่อง | : | Program synthesis based on the equivalent transformation computation model |
| นักวิจัย | : | Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu |
| คำค้น | : | Program synthesis , Computation model , Program synthesis , Equivalent Transformation |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002. (2003) pp. 278-279 , 9783540404385 , 0302-9743 , http://dspace.library.tu.ac.th/handle/3517/3510 , http://dspace.library.tu.ac.th/handle/3517/3510 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | Lecture notes in computer science ; 2664 |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Effective generation of efficient and correct programs from specifications is the underlying design motivation of the Equivalent Transformation (ET) computation model. This concise paper explains how the ET model satisfies major required features of a program synthesis framework, and outlines a three-phase program synthesis method. |
| บรรณานุกรม | : |
Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . (2546). Program synthesis based on the equivalent transformation computation model.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . 2546. "Program synthesis based on the equivalent transformation computation model".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . "Program synthesis based on the equivalent transformation computation model."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2546. Print. Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . Program synthesis based on the equivalent transformation computation model. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
