ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

A Class of rewriting rules and reverse transformation for rule-based equivalent transformation

หน่วยงาน สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์

รายละเอียด

ชื่อเรื่อง : A Class of rewriting rules and reverse transformation for rule-based equivalent transformation
นักวิจัย : Ekawit Nantajeewarawat
คำค้น : -
หน่วยงาน : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์
ผู้ร่วมงาน : -
ปีพิมพ์ : 2544
อ้างอิง : Electronic notes in theoretical computer science. 59, 4 (2001) pp. 255-270 , http://dspace.library.tu.ac.th/handle/3517/316
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

In the rule-based equivalent transformation (RBET) paradigm, where computation is based on meaning-preserving transformation of declarative descriptions, a set of rewriting rules is regarded as a program. The syntax for a large class of rewriting rules is determined. The incorporation of meta-variables of two different kinds enables precise control of rewriting-rule instantiations. As a result, the applicability of rewriting rules and the results of rule applications can be rigorously specified. A theoretical basis for justifying the correctness of rewriting rules is established. Reverse transformation operation in the RBET framework is discussed, and it is shown that a correct rewriting rule is reversible, i.e., a correct rewriting rule can in general be constructed by syntactically reversing another correct rewriting rule.

บรรณานุกรม :
Ekawit Nantajeewarawat . (2544). A Class of rewriting rules and reverse transformation for rule-based equivalent transformation.
    กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ .
Ekawit Nantajeewarawat . 2544. "A Class of rewriting rules and reverse transformation for rule-based equivalent transformation".
    กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ .
Ekawit Nantajeewarawat . "A Class of rewriting rules and reverse transformation for rule-based equivalent transformation."
    กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2544. Print.
Ekawit Nantajeewarawat . A Class of rewriting rules and reverse transformation for rule-based equivalent transformation. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2544.