WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2012047445) QUERY CONSTRAINT ENCODING WITH TYPE-BASED STATE MACHINE
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2012/047445    International Application No.:    PCT/US2011/051015
Publication Date: 12.04.2012 International Filing Date: 09.09.2011
IPC:
G06F 17/30 (2006.01)
Applicants: MICROSOFT CORPORATION [US/US]; One Microsoft Way Redmond, Washington 98052-6399 (US) (For All Designated States Except US)
Inventors: DE SMET, Bart; (US).
MEIJER, Henricus Johannes Maria; (US)
Priority Data:
12/890,870 27.09.2010 US
Title (EN) QUERY CONSTRAINT ENCODING WITH TYPE-BASED STATE MACHINE
(FR) CODAGE DE CONTRAINTE D'INTERROGATION AVEC UNE MACHINE D'ÉTATS BASÉE SUR LE TYPE
Abstract: front page image
(EN)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.
(FR)Une interrogation spécifiée dans un langage de programmation source peut être analysée en fonction d'une machine d'états basée sur le type qui code des contraintes d'interrogation d'un langage de programmation cible. La machine d'états basée sur le type peut coder de telles contraintes en tant que types représentant des états et en tant que procédés représentant des transitions entre des états ou des types.
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
European Patent Office (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)