正在加载图片...
Our contributions O lin. progress Pe 0 Cctxt Ap P∈{PF/PD New prog. properties for obj. with partial methods Abstractions to establish contextual refinements (CR) Equivalence result(Abstraction Theorem)Our contributions • New prog. properties for obj. with partial methods • Abstractions to establish contextual refinements (CR) • Equivalence result (Abstraction Theorem) O lin. + progress P  O ctxt AP P  {PSF/PDF}
<<向上翻页向下翻页>>
©2008-现在 cucdc.com 高等教育资讯网 版权所有