A Translator Description Language TDL for Specification Languages and Automatic Generation of their Translators

スポンサーリンク

概要

• 論文の詳細を見る

• A translator description language TDL coupled with the translator generator was developed to generate translators for a class of formal specification languages, each of which derives executable programs from their specifications. Attempts have been made to generate translators from specification languages including TDL,WSN and Z to the programming language Prolog. These results evidence the expressive power and applicability of the system. In particular, the executable program was derived from the scheduler specification in WSN by the said translator and successfully applied to the partial reconstruction and tuning of the existing commercial IBM operating system VM/370 in a university environment. This paper describes the TDL system, the results of experiments with TDL, and the correctness proof of the derived programs with respect to their specifications.

• 一般社団法人情報処理学会の論文
• 1990-11-10

著者

• Yoon Sun

  Department Of Mathematics School Of Science And Engineering Waseda University

• Yoon Sun

  Department Of Geology Pusan National University

関連論文

• 中新統堆積盆の形成にかかわる断層を対象とした放射能探査
• B-19 Surgical outcome for intractable epilepsy with cortical dysplasia
• Calcareous nannoplankton from the Seoguipo Formation of Cheju Island, Korea and its paleoceanographic implications
• A Translator Description Language TDL for Specification Languages and Automatic Generation of their Translators

スポンサーリンク