Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support Terjemahan Mesin Negara daripada Teori Persamaan kepada Teori Tulis Semula dengan Sokongan Alat

Min ZHANG, Kazuhiro OGATA, Masaki NAKAMURA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Kertas kerja ini membentangkan strategi bersama-sama dengan sokongan alat untuk penterjemahan mesin keadaan daripada teori persamaan ke dalam teori penulisan semula, bertujuan untuk menjana spesifikasi teori penulisan semula secara automatik. Usaha pendua boleh dijimatkan pada menentukan mesin keadaan kedua-dua dalam teori persamaan dan teori penulisan semula, apabila kami menggabungkan kemudahan pembuktian teorem CafeOBJ dengan kemudahan menyemak model Maude. Keputusan eksperimen menunjukkan bahawa kecekapan spesifikasi yang dijana oleh strategi yang dicadangkan meningkat dengan ketara, berbanding dengan yang dijana oleh tiga strategi terjemahan sedia ada yang lain.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E94-D No.5 pp.976-988
Tarikh penerbitan
2011/05/01
Diumumkan
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.E94.D.976
Jenis Manuskrip
Special Section PAPER (Special Section on Formal Approach)
kategori
Terjemahan Spesifikasi

Pengarang

Kata kunci

Contents [show]