基于ECC的程序規范描述

留言板

尊敬的讀者、作者、審稿人, 關于本刊的投稿、審稿、編輯和出版的任何問題, 您可以本頁添加留言。我們將盡快給您答復。謝謝您的支持!

姓名
郵箱
手機號碼
標題
留言內容
驗證碼

基于ECC的程序規范描述

蔡家楣, 杜國維

文章導航 > 工程科學學報 > 1998 > 20(6): 585-589

蔡家楣, 杜國維. 基于ECC的程序規范描述[J]. 工程科學學報, 1998, 20(6): 585-589. doi: 10.13374/j.issn1001-053x.1998.06.018

引用本文:

蔡家楣, 杜國維. 基于ECC的程序規范描述[J]. 工程科學學報, 1998, 20(6): 585-589. doi: 10.13374/j.issn1001-053x.1998.06.018

Cai Jiamei, Du Guowei. Development of Specification of Program Based on ECC[J]. Chinese Journal of Engineering, 1998, 20(6): 585-589. doi: 10.13374/j.issn1001-053x.1998.06.018

Citation:

Cai Jiamei, Du Guowei. Development of Specification of Program Based on ECC[J]. Chinese Journal of Engineering, 1998, 20(6): 585-589. doi: 10.13374/j.issn1001-053x.1998.06.018

蔡家楣, 杜國維. 基于ECC的程序規范描述[J]. 工程科學學報, 1998, 20(6): 585-589. doi: 10.13374/j.issn1001-053x.1998.06.018

引用本文:

蔡家楣, 杜國維. 基于ECC的程序規范描述[J]. 工程科學學報, 1998, 20(6): 585-589. doi: 10.13374/j.issn1001-053x.1998.06.018

Cai Jiamei, Du Guowei. Development of Specification of Program Based on ECC[J]. Chinese Journal of Engineering, 1998, 20(6): 585-589. doi: 10.13374/j.issn1001-053x.1998.06.018

Citation:

Cai Jiamei, Du Guowei. Development of Specification of Program Based on ECC[J]. Chinese Journal of Engineering, 1998, 20(6): 585-589. doi: 10.13374/j.issn1001-053x.1998.06.018

基于ECC的程序規范描述

doi: 10.13374/j.issn1001-053x.1998.06.018

蔡家楣¹,
杜國維²

1. 浙江工業大學信息工程學院, 杭州 310014;
2. 北京科技大學應用科學學院, 北京 100083

基金項目:

“863”計劃和浙江省自然科學基金資助的課題

作者簡介:
蔡家楣,男,52歲,副教授

中圖分類號: TP311.1
計量
- 文章訪問數: 245
- HTML全文瀏覽量: 86
- PDF下載量: 6
- 被引次數: 0
出版歷程
- 收稿日期: 1998-03-25
- 網絡出版日期: 2021-08-27

Development of Specification of Program Based on ECC

Cai Jiamei¹,
Du Guowei²

1. Institute of Information, Zhejiang University of Technology, Hangzhou 310014;
2. Applied Science School, UDT Beijing, Beijing 100083

摘要: 介紹一種擴展的類型理論構造演算ECC;討論了用它表示松散語義抽象類型的程序規范的方法。然后介紹如何用函數型語言ML使這種方法得以實現。
- 擴展構造演算(ECC) /
- 程序規范 /
- 函形象型語言
Abstract: A Extended Calculus of Constructions(ECC) is introduced. The description of specification for abstract data type with loose semantics and a implementation at the functional language ML are also discussed.
- extended calculus of constructions(ECC) /
- specification /
- functional language

參考文獻(0)

資源附件(0)

WeChat

點擊查看大圖

計量

文章訪問數: 245
HTML全文瀏覽量: 86
PDF下載量: 6
被引次數: 0

/

下載: 全尺寸圖片幻燈片

分享

用微信掃碼二維碼

分享至好友和朋友圈

返回

中文字幕在线观看