Contents of Report

[Data of Report]

Report Number:: TM1112
Date of Registration:: 1991.09
English Title:: The Semantics for Abstract Interpretation of Flat GHC Programs
Japanese Title:: Flat GHC　プログラムの抽象解釈のための意味論
English Author:: K.Horiuchi
Japanese:: 堀内　謙二
Name of Organization to which author belongs:: ICOT
PDF:: tm1112.pdf

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