Invention Grant
- Patent Title: Query constraint encoding with type-based state machine
- Patent Title (中): 基于类型的状态机的查询约束编码
-
Application No.: US12890870Application Date: 2010-09-27
-
Publication No.: US09177017B2Publication Date: 2015-11-03
- Inventor: Bart De Smet , Henricus Johannes Maria Meijer
- Applicant: Bart De Smet , Henricus Johannes Maria Meijer
- Applicant Address: US WA Redmond
- Assignee: Microsoft Technology Licensing, LLC
- Current Assignee: Microsoft Technology Licensing, LLC
- Current Assignee Address: US WA Redmond
- Agent Brian Haslam; Kate Drakos; Micky Minhas
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F17/30 ; G06F9/45
Abstract:
A query specified in a source programming language can be analyzed as a function of a type-based state machine that encodes query constraints of a target programming language. The type-based state machine can encode such constraints as types representing states and methods representing transitions between states or types.
Public/Granted literature
- US20120079464A1 QUERY CONSTRAINT ENCODING WITH TYPE-BASED STATE MACHINE Public/Granted day:2012-03-29
Information query
