Contents of Report

[Data of Report]

Report Number:
TM0609
Date of Registration:
1988.10
English Title:
Transformation Rules for GHC Programs
Japanese Title:
***
English Author:
K.Ueda,K.Furukawa
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm0609.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Preliminaries.... 3
3Flat GHC.... 4
4A Semantic Model.... 5
5Transformation Rules.... 7
6Correctness of the Rules.... 9
7Examples.... 9
8Discussions.... 10
Acknowledgements.... 11
References.... 11

目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda