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. (WO2017065631) METHOD AND SYSTEM FOR TRANSFORMING A SOURCE CODE INTO A TARGET CODE ON A COMPUTER
Latest bibliographic data on file with the International Bureau   

Pub. No.: WO/2017/065631 International Application No.: PCT/RU2015/000673
Publication Date: 20.04.2017 International Filing Date: 15.10.2015
IPC:
G06F 9/45 (2006.01) ,G06F 9/44 (2006.01)
Applicants: HUAWEI TECHNOLOGIES CO., LTD.[CN/CN]; Huawei Administration Building Bantian, Longgang District Shenzhen Guangdong, 518129, CN
Inventors: SLESARENKO, Alexander Vladimirovich; CN
GEKK, Maxim Viktorovich; CN
Agent: LAW FIRM "GORODISSKY & PARTNERS" LTD.; MITS Alexander Vladimirovich, POPOVA Elizaveta Vitalievna B. Spasskaya str., 25, str. 3 Moscow, 129090, RU
Priority Data:
Title (EN) METHOD AND SYSTEM FOR TRANSFORMING A SOURCE CODE INTO A TARGET CODE ON A COMPUTER
(FR) PROCÉDÉ ET SYSTÈME POUR TRANSFORMER UN CODE SOURCE EN UN CODE CIBLE SUR UN ORDINATEUR
Abstract: front page image
(EN) The disclosure relates to a method (200) for transforming a source code into a target code on a computer, wherein properties of the source code are determined by a source code type system comprising a collection of rules that apply to constructs of the source code, the method comprising: defining (201) a type wrapper for importing a type of a target code type system to the source code type system; virtualizing (202) the type wrapper to a virtualized representation for an evaluation of the virtual representation in at least one evaluation mode; concretizing (203) the virtualized representation of the type wrapper to a particular evaluation mode of the at least one evaluation mode to provide an intermediate representation of the source code based on the particular evaluation mode; extending (204) the intermediate representation of the source code with new objects associated with new node types of the intermediate representation; and generating (205) the target code based on the extended intermediate representation of the source code.
(FR) La présente invention concerne un procédé (200) pour transformer un code source en un code cible sur un ordinateur, les propriétés du code source étant déterminées par un système de type de code source comprenant un ensemble de règles qui s'appliquent à des constructions du code source, le procédé comprenant les étapes consistant à : définir (201) un enveloppeur de type pour importer un type d'un système de type de code cible dans le système de type de code source ; virtualiser (202) l'enveloppeur de type dans une représentation virtualisée pour une évaluation de la représentation virtuelle dans au moins un mode d'évaluation ; concrétiser (203) la représentation virtualisée de l'enveloppeur de type dans un mode d'évaluation particulier dudit au moins un mode d'évaluation pour fournir une représentation intermédiaire du code source sur la base du mode d'évaluation particulier ; étendre (204) la représentation intermédiaire du code source avec de nouveaux objets associés à de nouveaux types de nœuds de la représentation intermédiaire ; et générer (205) le code cible sur la base de la représentation intermédiaire étendue du code source.
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, IR, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, 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, SA, 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 (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Office (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (EPO) (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, KM, ML, MR, NE, SN, TD, TG)
Publication Language: English (EN)
Filing Language: English (EN)