Invention Grant
US08762942B2 Bidirectional type checking for declarative data scripting language
有权
用于声明式数据脚本语言的双向类型检查
- Patent Title: Bidirectional type checking for declarative data scripting language
- Patent Title (中): 用于声明式数据脚本语言的双向类型检查
-
Application No.: US12244967Application Date: 2008-10-03
-
Publication No.: US08762942B2Publication Date: 2014-06-24
- Inventor: David E. Langworthy , Gavin Bierman , Andrew D. Gordon , Donald F. Box , Bradford H. Lovering , Jeffrey C. Schlimmer , John D. Doty
- Applicant: David E. Langworthy , Gavin Bierman , Andrew D. Gordon , Donald F. Box , Bradford H. Lovering , Jeffrey C. Schlimmer , John D. Doty
- Applicant Address: US WA Redmond
- Assignee: Microsoft Corporation
- Current Assignee: Microsoft Corporation
- Current Assignee Address: US WA Redmond
- Agent Nicholas Chen; Kate Drakos; Micky Minhas
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F9/45
Abstract:
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.
Public/Granted literature
- US20100088679A1 BIDIRECTIONAL TYPE CHECKING FOR DECLARATIVE DATA SCRIPTING LANGUAGE Public/Granted day:2010-04-08
Information query
