A Simple Semantic Model for Flat GHC
スポンサーリンク
概要
- 論文の詳細を見る
In designing a set of transformation rules for Flat GHC programs, we were faced with the problem of justifying them on an appropriate semantic model. This paper informally describes the semantic model we designed for. that purpose. The full description of the semantics will be found in [1].
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
-
Ueda Kazunori
Institute For New Generation Computer Technology
-
Furukawa Koichi
Institute For New Generation Computer Technology