Contents of Report

[Data of Report]

Report Number:

TM0895

Date of Registration:

1990.08

English Title:

Concurrent Operational Semantics of GHC programs with Perpetual Proceses

Japanese Title:

無限プロセスを含むGHCプログラムの並列導出手続きに基づく操作的意味論

English Author:

M.Murakami

Japanese:

村上　昌己

Name of Organization to which author belongs:

FUJITSU

PDF:

tm0895.pdf

[Contents]

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