| ชื่อเรื่อง | : | Deterministic-rule programs on specialization systems |
| นักวิจัย | : | Kama, Klyoshi A. , Ekawit Nantajeewarawat |
| คำค้น | : | Deterministic computation , Equivalent transformation , Program synthesis , Query-answering problem , Specialization system |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2557 |
| อ้างอิง | : | International journal of innovative computing, information and control. 10,5 (2014) pp. 1653-1667 , 1349-4198 , http://dspace.library.tu.ac.th/handle/3517/7815 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | In this paper, we formulate a class of deterministic programs, called deterministic-rule programs, on a specialization system, and formalize their procedural semantics, called the clause-model semantics, taking their recursive conditional state-transition structures into account. The proposed theory makes clear what it means for a deterministic-rule program to be correct with respect to a specification. It provides a basis for developing methods for synthesis of deterministic programs from declarative specifications. Taking a specialization system as a parameter, the theory is applicable to many concrete classes of deternmiistic-rule programs with various forms of data structures through parameter instantiation. |
| บรรณานุกรม | : |
Kama, Klyoshi A. , Ekawit Nantajeewarawat . (2557). Deterministic-rule programs on specialization systems.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Kama, Klyoshi A. , Ekawit Nantajeewarawat . 2557. "Deterministic-rule programs on specialization systems".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Kama, Klyoshi A. , Ekawit Nantajeewarawat . "Deterministic-rule programs on specialization systems."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2557. Print. Kama, Klyoshi A. , Ekawit Nantajeewarawat . Deterministic-rule programs on specialization systems. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2557.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
