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. (WO2013158758) SEMANTIC SOURCE CODE SEARCHING
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2013/158758    International Application No.:    PCT/US2013/036967
Publication Date: 24.10.2013 International Filing Date: 17.04.2013
IPC:
G06F 17/30 (2006.01)
Applicants: NUTECH VENTURES [US/US]; 1320 Q Street Lincoln, NE 68508 (US)
Inventors: ELBAUM, Sebastian; (US).
STOLEE, Kathryn; (US)
Agent: HANSEN, Kristen, J.; Fish & Richardson P.C. P.O. Box 1022 Minneapolis, MN 55440-1022 (US)
Priority Data:
61/625,501 17.04.2012 US
Title (EN) SEMANTIC SOURCE CODE SEARCHING
(FR) RECHERCHE SÉMANTIQUE DANS UN CODE SOURCE
Abstract: front page image
(EN)Systems and methods are disclosed for receiving a first specification that identifies program code behavior associated with a plurality of documents. The specification includes an input-output pair with a first data entity and a second data entity. The systems and methods further include identifying one or more documents, within the plurality of documents, that are configured to (i) use at least a portion of the first data entity as an input to program code associated with particular ones of the documents, and (ii) provide at least a portion of the second data entity as output associated with the program code, wherein the particular ones of the documents correspond to a positive matching between one or more constraints associated with each document and one or more constraints associated with the specification, and generating search results comprising the identified one or more documents.
(FR)L'invention concerne des systèmes et procédés destinés à recevoir une première spécification qui identifie un comportement de code de programme associé à une pluralité de documents. La spécification comprend une paire entrée-sortie comportant une première entité de données et une deuxième entité de données. Les systèmes et procédés comprennent en outre des étapes consistant à : identifier un ou plusieurs documents, au sein de la pluralité de documents, qui sont configurés pour (i) utiliser au moins une partie de la première entité de données en tant qu'entrée pour du code de programme associé à des documents particuliers parmi lesdits documents et (ii) transmettre au moins une partie de la deuxième entité de données en tant que sortie associée au code de programme, les documents considérés parmi lesdits documents correspondant à une concordance positive entre une ou plusieurs contraintes associées à chaque document et une ou plusieurs contraintes associées à la spécification ; et générer des résultats de recherche comportant le ou les documents identifiés.
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, 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, PA, 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, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, 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)