抽象データタイプの代数的仕様記述法の基礎（3）：抽象型構成子のモデルと始代数意味論

IPSJ Web Site 4 Citations

Bibliographic Information

Other Title
  • チュウショウ データ タイプ ノ ダイスウテキ シヨウ キジュツホウ ノ キソ
  • Formal Model of Abstract Type Constructor and Initial Algebra Semantics

Search this article

Description

記事分類: データ処理・計算機器

Journal

  • 情報処理

    情報処理 25 (7), p708-716, 1984-07-15

    東京 : 情報処理学会 ; 1960-

Citations (4)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top