<span id="fpn9h"><noframes id="fpn9h"><span id="fpn9h"></span>
<span id="fpn9h"><noframes id="fpn9h">
<th id="fpn9h"></th>
<strike id="fpn9h"><noframes id="fpn9h"><strike id="fpn9h"></strike>
<th id="fpn9h"><noframes id="fpn9h">
<span id="fpn9h"><video id="fpn9h"></video></span>
<ruby id="fpn9h"></ruby>
<strike id="fpn9h"><noframes id="fpn9h"><span id="fpn9h"></span>

基于ECC的程序規范描述

Development of Specification of Program Based on ECC

    摘要
  • 摘要: 介紹一種擴展的類型理論構造演算ECC;討論了用它表示松散語義抽象類型的程序規范的方法。然后介紹如何用函數型語言ML使這種方法得以實現。

     

    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.

     

    • HTML全文
    • 參考文獻(0)
    • 相關文章
    • 施引文獻
  • 資源附件(0)

/

返回文章
返回
<span id="fpn9h"><noframes id="fpn9h"><span id="fpn9h"></span>
<span id="fpn9h"><noframes id="fpn9h">
<th id="fpn9h"></th>
<strike id="fpn9h"><noframes id="fpn9h"><strike id="fpn9h"></strike>
<th id="fpn9h"><noframes id="fpn9h">
<span id="fpn9h"><video id="fpn9h"></video></span>
<ruby id="fpn9h"></ruby>
<strike id="fpn9h"><noframes id="fpn9h"><span id="fpn9h"></span>
www.77susu.com