发明授权
US07530080B2 Implementation of alias preserving structural subtyping with precise types using transparent adapters
有权
使用透明适配器实现使用精确类型保留结构子类型的别名
- 专利标题： Implementation of alias preserving structural subtyping with precise types using transparent adapters
- 专利标题（中）： 使用透明适配器实现使用精确类型保留结构子类型的别名
-
申请号： US10395973申请日： 2003-03-25
-
公开(公告)号： US07530080B2公开(公告)日： 2009-05-05
- 发明人: Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Erik Meijer , Christopher J. Lovett , Matthew J. Warren
- 申请人： Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Erik Meijer , Christopher J. Lovett , Matthew J. Warren
- 申请人地址： US WA Redmond
- 专利权人： Microsoft Corporation
- 当前专利权人： Microsoft Corporation
- 当前专利权人地址： US WA Redmond
- 代理机构： Amin, Turocy & Calvin, LLP
- 主分类号： G06F3/00
- IPC分类号： G06F3/00 ; G06F9/44 ; G06F9/46 ; G06F13/00
摘要：
A system and method for employing a programming language based on structural types on top of a nominal type runtime environment is disclosed. The system utilizes adapters and coercive subtyping to achieve precise typing while preserving aliasing. Furthermore, the system employs a universal value representation to achieve cross-assembly type equivalence.
公开/授权文献
信息查询
