发明名称 |
BIDIRECTIONAL TYPE CHECKING FOR DECLARATIVE DATA SCRIPTING LANGUAGE |
摘要 |
An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. A bidirectional type checking algorithm is provided for the type system including synthesis and checking steps to statically verify types of code based on the type system.
|
申请公布号 |
US2010088679(A1) |
申请公布日期 |
2010.04.08 |
申请号 |
US20080244967 |
申请日期 |
2008.10.03 |
申请人 |
MICROSOFT CORPORATION |
发明人 |
LANGWORTHY DAVID E.;BIERMAN GAVIN;GORDON ANDREW D.;BOX DONALD F.;LOVERING BRADFORD H.;SCHLIMMER JEFFREY C.;DOTY JOHN D. |
分类号 |
G06F9/45;G06F9/44;G06N5/02 |
主分类号 |
G06F9/45 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|