| ชื่อเรื่อง | : | Deterministic-rule programs on specialization systems : clause-model semantics |
| นักวิจัย | : | Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu |
| คำค้น | : | Semantics , Declarative descriptions , Deterministic programs , General class , Imperative languages , Nondeterministic programs , Procedural semantics , Rule based |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2554 |
| อ้างอิง | : | Communications in computer and information science. 181 CCIS, Issue Pt. 3 (2011) pp. 702-716 , 9783642222023 , 1865-0929 , http://dspace.library.tu.ac.th/handle/3517/6024 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Deterministic-rule programs provide a bridge between rule-based nondeterministic programs and deterministic programs in imperative languages. In this paper, we formulate deterministic-rule programs on a specialization system and formalize their procedural semantics, called the clause-model semantics, based on a general framework for discussing the semantics of procedures with a conditional state-transition structure. The proposed theory establishes a general class of deterministic-rule programs with their precise semantics, providing a basis for developing methods for synthesis of deterministic programs from declarative descriptions. Taking a specialization system as a parameter, the theory is applicable to many concrete classes of deterministic-rule programs with various forms of data structures through parameter instantiation. © 2011 Springer-Verlag. |
| บรรณานุกรม | : |
Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . (2554). Deterministic-rule programs on specialization systems : clause-model semantics.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . 2554. "Deterministic-rule programs on specialization systems : clause-model semantics".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . "Deterministic-rule programs on specialization systems : clause-model semantics."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2554. Print. Akama, Kiyoshi , Ekawit Nantajeewarawat , Koike, Hidekatsu . Deterministic-rule programs on specialization systems : clause-model semantics. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2554.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
