BR112015010016A2 - compilador, computador, método de compilação e programa de computador - Google Patents
compilador, computador, método de compilação e programa de computadorInfo
- Publication number
- BR112015010016A2 BR112015010016A2 BR112015010016A BR112015010016A BR112015010016A2 BR 112015010016 A2 BR112015010016 A2 BR 112015010016A2 BR 112015010016 A BR112015010016 A BR 112015010016A BR 112015010016 A BR112015010016 A BR 112015010016A BR 112015010016 A2 BR112015010016 A2 BR 112015010016A2
- Authority
- BR
- Brazil
- Prior art keywords
- computer
- computer program
- compiler
- tables
- generated
- Prior art date
Links
- 238000004590 computer program Methods 0.000 title abstract 6
- 238000000034 method Methods 0.000 title abstract 2
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/42—Syntactic analysis
- G06F8/425—Lexical analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
- G06F8/447—Target code generation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/10—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material ; Digital rights management [DRM]
- G06F21/12—Protecting executable software
- G06F21/14—Protecting executable software against software analysis or reverse engineering, e.g. by obfuscation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/52—Binary to binary
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Multimedia (AREA)
- Technology Law (AREA)
- Computer Hardware Design (AREA)
- Computer Security & Cryptography (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
resumo compilador, computador, método de compilação e programa de computador a presente invenção refere-se a um compilador 134 para compilar um primeiro programa de computador 110 escrito em uma primeira linguagem de programação de computador em um segundo programa de computador escrito em uma linguagem de máquina, sendo que o compilador compreende um gerador de código para gerar o segundo programa de computador por meio da geração de tabelas 142 e um código de linguagem de máquina 144, sendo que as tabelas geradas e o código de linguagem de máquina gerado formam, juntos, o segundo programa de computador, sendo que o código de linguagem de máquina gerado faz referência às tabelas, e o código de linguagem de máquina gerado não contém instruções de máquina aritméticas ou lógicas, e as tabelas compreendem resultados pré-computados de instruções de máquina aritméticas e/ou lógicas. 1/1
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US201261723410P | 2012-11-07 | 2012-11-07 | |
EP13156991 | 2013-02-27 | ||
PCT/EP2013/072668 WO2014072209A1 (en) | 2012-11-07 | 2013-10-30 | Compiler generating operator free code |
Publications (1)
Publication Number | Publication Date |
---|---|
BR112015010016A2 true BR112015010016A2 (pt) | 2017-07-11 |
Family
ID=47757443
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
BR112015010016A BR112015010016A2 (pt) | 2012-11-07 | 2013-10-30 | compilador, computador, método de compilação e programa de computador |
Country Status (8)
Country | Link |
---|---|
US (1) | US9921813B2 (pt) |
EP (1) | EP2917833B1 (pt) |
JP (1) | JP6429785B2 (pt) |
CN (1) | CN104823161B (pt) |
BR (1) | BR112015010016A2 (pt) |
MX (1) | MX2015005621A (pt) |
RU (1) | RU2015121749A (pt) |
WO (1) | WO2014072209A1 (pt) |
Families Citing this family (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10068070B2 (en) * | 2015-05-05 | 2018-09-04 | Nxp B.V. | White-box elliptic curve point multiplication |
US20160328539A1 (en) * | 2015-05-05 | 2016-11-10 | Nxp B.V. | Obscuring Software Code With Split Variables |
CN105404497B (zh) * | 2015-10-26 | 2018-05-25 | 北京锐安科技有限公司 | 一种逻辑表达式的解析方法及装置 |
CN105740215A (zh) * | 2016-01-23 | 2016-07-06 | 北京掌阔移动传媒科技有限公司 | 一种数据通信编码和解码方法 |
US9996328B1 (en) | 2017-06-22 | 2018-06-12 | Archeo Futurus, Inc. | Compiling and optimizing a computer code by minimizing a number of states in a finite machine corresponding to the computer code |
US10481881B2 (en) | 2017-06-22 | 2019-11-19 | Archeo Futurus, Inc. | Mapping a computer code to wires and gates |
WO2018236384A1 (en) * | 2017-06-22 | 2018-12-27 | Archeo Futurus, Inc. | COMPILATION AND OPTIMIZATION OF A COMPUTER CODE BY MINIMIZING A NUMBER OF STATES IN A FINAL MACHINE CORRESPONDING TO THE COMPUTER CODE |
JP2021502636A (ja) * | 2017-11-09 | 2021-01-28 | エヌチェーン ホールディングス リミテッドNchain Holdings Limited | 検証可能な計算のためのcライクなスマートコントラクトの算術的強化 |
EP3591550A1 (en) * | 2018-07-06 | 2020-01-08 | Koninklijke Philips N.V. | A compiler device with masking function |
US10996981B2 (en) * | 2019-03-15 | 2021-05-04 | Toshiba Memory Corporation | Processor zero overhead task scheduling |
CN111736839A (zh) * | 2019-03-25 | 2020-10-02 | 华为技术有限公司 | 一种编译链接方法及装置 |
CN110543407B (zh) * | 2019-08-21 | 2021-11-05 | 杭州趣链科技有限公司 | 一种Solidity智能合约性能静态分析方法 |
CN111091612B (zh) * | 2019-10-09 | 2023-06-02 | 武汉凌久微电子有限公司 | 一种抽象目标码架构的着色语言机器码生成方法及装置 |
US11921616B1 (en) * | 2022-03-29 | 2024-03-05 | Amazon Technologies, Inc. | Retaining Dafny specifications |
US11934810B2 (en) * | 2022-05-19 | 2024-03-19 | Microsoft Technology Licensing, Llc | Translating an edit from a child computer language to a parent computer language while maintaining a semantic meaning of the edit |
Family Cites Families (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5781752A (en) | 1996-12-26 | 1998-07-14 | Wisconsin Alumni Research Foundation | Table based data speculation circuit for parallel processing computer |
JPH11110224A (ja) * | 1997-09-29 | 1999-04-23 | Nec Corp | 言語処理装置及び方法、並びに情報記憶媒体 |
US6658492B1 (en) * | 1998-03-20 | 2003-12-02 | Sun Microsystems, Inc. | System and method for reducing the footprint of preloaded classes |
JP2000194567A (ja) | 1998-12-25 | 2000-07-14 | Toshiba Corp | コンパイル装置、コンパイル方法、コンパイルプログラムを格納したコンピュ―タ読み取り可能な記録媒体および目的プログラムを格納したコンピュ―タ読み取り可能な記録媒体 |
CA2298990A1 (en) * | 2000-02-18 | 2001-08-18 | Cloakware Corporation | Method and system for resistance to power analysis |
US7996671B2 (en) | 2003-11-17 | 2011-08-09 | Bluerisc Inc. | Security of program executables and microprocessors based on compiler-architecture interaction |
US7703088B2 (en) * | 2005-09-30 | 2010-04-20 | Intel Corporation | Compressing “warm” code in a dynamic binary translation environment |
US8106463B2 (en) | 2005-12-06 | 2012-01-31 | Arm, Inc. | Memory cells for read only memories |
JP4938766B2 (ja) * | 2006-04-28 | 2012-05-23 | パナソニック株式会社 | プログラム難読化システム、プログラム難読化装置及びプログラム難読化方法 |
US20080127142A1 (en) | 2006-11-28 | 2008-05-29 | Microsoft Corporation | Compiling executable code into a less-trusted address space |
US7796671B2 (en) | 2008-03-31 | 2010-09-14 | Electro Scientific Industries, Inc. | Multi-pass optical power amplifier |
US9134977B2 (en) * | 2010-02-26 | 2015-09-15 | Red Hat, Inc. | Compiler operation for handling conditional statements |
CN102043659A (zh) * | 2010-12-08 | 2011-05-04 | 上海交通大学 | 消除内存访问冲突的编译装置及其实现方法 |
EP2482184A1 (en) | 2011-02-01 | 2012-08-01 | Irdeto B.V. | Adaptive obfuscated virtual machine |
-
2013
- 2013-10-30 CN CN201380058354.5A patent/CN104823161B/zh not_active Expired - Fee Related
- 2013-10-30 RU RU2015121749A patent/RU2015121749A/ru unknown
- 2013-10-30 MX MX2015005621A patent/MX2015005621A/es not_active Application Discontinuation
- 2013-10-30 WO PCT/EP2013/072668 patent/WO2014072209A1/en active Application Filing
- 2013-10-30 JP JP2015540106A patent/JP6429785B2/ja not_active Expired - Fee Related
- 2013-10-30 EP EP13786213.2A patent/EP2917833B1/en not_active Revoked
- 2013-10-30 US US14/435,595 patent/US9921813B2/en not_active Expired - Fee Related
- 2013-10-30 BR BR112015010016A patent/BR112015010016A2/pt not_active IP Right Cessation
Also Published As
Publication number | Publication date |
---|---|
WO2014072209A1 (en) | 2014-05-15 |
JP6429785B2 (ja) | 2018-11-28 |
RU2015121749A (ru) | 2016-12-27 |
EP2917833B1 (en) | 2018-12-12 |
MX2015005621A (es) | 2015-08-20 |
CN104823161B (zh) | 2018-10-09 |
JP2015537298A (ja) | 2015-12-24 |
EP2917833A1 (en) | 2015-09-16 |
US20150277865A1 (en) | 2015-10-01 |
CN104823161A (zh) | 2015-08-05 |
US9921813B2 (en) | 2018-03-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
BR112015010016A2 (pt) | compilador, computador, método de compilação e programa de computador | |
WO2013036703A3 (en) | Profile guided jit code generation | |
BR112013010516A2 (pt) | sistema e método para gerar um modelo geoestatístico de um volume geológico relevante, que é limitado por um modelo baseado em processo do volume geológico relevante | |
BR112019003692A8 (pt) | Método para o controle de organismos nocivos, sistema para o controle de organismos nocivos, produto de programa de computador, mapa e sistema de tratamento e uso de um mapa de tratamento | |
BR112015004684A2 (pt) | geração de código nativo a partir de código de linguagem intermediária para um aplicativo | |
BR112017010225A2 (pt) | complexidade de localização de ativos e recursos de língua arbitrários | |
MX2014001629A (es) | Sistema de tiempo de ejecucion. | |
WO2015124116A3 (en) | System and method for isolating i/o execution via compiler and os support | |
BR112014015484A8 (pt) | sistema para gerar informações em relação a um curso de um procedimento, estação de trabalho, método de gerar informações em relação a um curso de um procedimento, e produto de programa de computador | |
MX349710B (es) | Instrucción de aborto de la transacción. | |
BR112016021725A2 (pt) | Apoio de comportamento dinâmico em programas estatisticamente compilados | |
WO2012083266A3 (en) | Fusing debug information from different compiler stages | |
BR112015014470A2 (pt) | compilador configurado para compilar um programa de computador, dispositivo de computação configurado para executar um programa de computador compilado por um compilador, método para executar um programa de computador compilado por um compilador e programa de computador | |
GB2519017A (en) | Next instruction access intent instruction | |
BR112014005193A2 (pt) | encapsulados | |
CY1119758T1 (el) | Μεθοδος και συστημα για τη δημιουργια κωδικα | |
IN2014CN02619A (pt) | ||
BR112015006393A2 (pt) | método para produzir um produto de tecido, produto de tecido produzido por um processo, e método de tratamento | |
WO2013192104A3 (en) | Optimized execution of dynamic languages | |
WO2015011567A3 (en) | Method and system for compiler optimization | |
BR112015008117A2 (pt) | benzamidas | |
BR112014032625A2 (pt) | sistema de computador; processador de computador; e compilador | |
IN2013MU02879A (pt) | ||
BR112013019851A2 (pt) | planejamento automático de equipamento de controle de um sistema técnico | |
BR112015001638A2 (pt) | cetocumarina como fotoiniciadores e fotossensibilizadores em tintas |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
B15K | Others concerning applications: alteration of classification |
Ipc: G06F 9/00 (2018.01), G06F 21/14 (2013.01) |
|
B06F | Objections, documents and/or translations needed after an examination request according [chapter 6.6 patent gazette] | ||
B08F | Application dismissed because of non-payment of annual fees [chapter 8.6 patent gazette] |
Free format text: REFERENTE A 6A ANUIDADE. |
|
B08K | Patent lapsed as no evidence of payment of the annual fee has been furnished to inpi [chapter 8.11 patent gazette] |
Free format text: EM VIRTUDE DO ARQUIVAMENTO PUBLICADO NA RPI 2538 DE 27-08-2019 E CONSIDERANDO AUSENCIA DE MANIFESTACAO DENTRO DOS PRAZOS LEGAIS, INFORMO QUE CABE SER MANTIDO O ARQUIVAMENTO DO PEDIDO DE PATENTE, CONFORME O DISPOSTO NO ARTIGO 12, DA RESOLUCAO 113/2013. |