JavaShuo
欄目
標籤
AF與RI
時間 2021-01-02
原文
原文鏈接
在研究抽象類型的時候,先思考一下兩個值域之間的關係: 表示域(rep values)裏面包含的是值具體的實現實體。一般情況下ADT的表示比較簡單,有些時候需要複雜表示。 抽象域(A)裏面包含的則是類型設計時支持使用的值。這些值是由表示域「抽象/想象」出來的,也是使用者關注的。 ADT實現者關注表示空間R,用戶關注抽象空間A 。 R->A的映射特點: 每一個抽象值都是由表示值映射而來 ,即滿射:每個
>>阅读原文<<
相關文章
1.
關於AF, RI, Rep exposure
2.
Spec、AF、RI以及Safety from rep exposure的一些體會
3.
ADT的表示獨立性,測試ADT的方法,不變量,RI與AF
4.
RI中的小Bug
5.
Camera AF version 6.0
6.
RDS電臺 TA 與 AF解釋
7.
抽象數據類型及其表示不變量RI、抽象函數AF簡介(哈工大軟件構造)
8.
ISP PIPLINE (十五) AF
9.
自動對焦 AF
10.
(二)RI主程序分析
更多相關文章...
•
XSL-FO 與 XSLT
-
XSL-FO 教程
•
PHP - AJAX 與 PHP
-
PHP教程
•
Composer 安裝與使用
•
Java Agent入門實戰(一)-Instrumentation介紹與使用
相關標籤/搜索
與之
與會
與人
使與
又與
與衆
在與
付與
Hibernate教程
PHP 7 新特性
Redis教程
0
分享到微博
分享到微信
分享到QQ
每日一句
每一个你不满意的现在,都有一个你没有努力的曾经。
最新文章
1.
字節跳動21屆秋招運營兩輪面試經驗分享
2.
Java 3 年,25K 多嗎?
3.
mysql安裝部署
4.
web前端開發中父鏈和子鏈方式實現通信
5.
3.1.6 spark體系之分佈式計算-scala編程-scala中trait特性
6.
dataframe2
7.
ThinkFree在線
8.
在線畫圖
9.
devtools熱部署
10.
編譯和鏈接
本站公眾號
歡迎關注本站公眾號,獲取更多信息
相關文章
1.
關於AF, RI, Rep exposure
2.
Spec、AF、RI以及Safety from rep exposure的一些體會
3.
ADT的表示獨立性,測試ADT的方法,不變量,RI與AF
4.
RI中的小Bug
5.
Camera AF version 6.0
6.
RDS電臺 TA 與 AF解釋
7.
抽象數據類型及其表示不變量RI、抽象函數AF簡介(哈工大軟件構造)
8.
ISP PIPLINE (十五) AF
9.
自動對焦 AF
10.
(二)RI主程序分析
>>更多相關文章<<