BR112015010016A2 - compilador, computador, método de compilação e programa de computador - Google Patents

compilador, computador, método de compilação e programa de computador

Info

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
Application number
BR112015010016A
Other languages
English (en)
Portuguese (pt)
Inventor
Paul Marie Jozef Baggen Constant
Marinus Gerardus Maria Tolhuizen Ludovicus
Deng Mina
Mathias Hubertus Mechtildis Antonius Gorissen Paulus
Ido-Jan Gispen Wicher
Petrus Adrianus Johannus Michiels Wilhelmus
Original Assignee
Koninklijke Philips Nv
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Family has litigation
First worldwide family litigation filed litigation Critical https://patents.darts-ip.com/?family=47757443&utm_source=google_patent&utm_medium=platform_link&utm_campaign=public_patent_search&patent=BR112015010016(A2) "Global patent litigation dataset” by Darts-ip is licensed under a Creative Commons Attribution 4.0 International License.
Application filed by Koninklijke Philips Nv filed Critical Koninklijke Philips Nv
Publication of BR112015010016A2 publication Critical patent/BR112015010016A2/pt

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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 OR CALCULATING; 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 OR CALCULATING; 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 OR CALCULATING; 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)
BR112015010016A 2012-11-07 2013-10-30 compilador, computador, método de compilação e programa de computador BR112015010016A2 (pt)

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 (enExample)
EP (1) EP2917833B1 (enExample)
JP (1) JP6429785B2 (enExample)
CN (1) CN104823161B (enExample)
BR (1) BR112015010016A2 (enExample)
MX (1) MX2015005621A (enExample)
RU (1) RU2015121749A (enExample)
WO (1) WO2014072209A1 (enExample)

Families Citing this family (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20160328539A1 (en) * 2015-05-05 2016-11-10 Nxp B.V. Obscuring Software Code With Split Variables
US10068070B2 (en) * 2015-05-05 2018-09-04 Nxp B.V. White-box elliptic curve point multiplication
CN105404497B (zh) * 2015-10-26 2018-05-25 北京锐安科技有限公司 一种逻辑表达式的解析方法及装置
CN105740215A (zh) * 2016-01-23 2016-07-06 北京掌阔移动传媒科技有限公司 一种数据通信编码和解码方法
US10481881B2 (en) 2017-06-22 2019-11-19 Archeo Futurus, Inc. Mapping a computer code to wires and gates
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
WO2018236384A1 (en) * 2017-06-22 2018-12-27 Archeo Futurus, Inc. Compiling and optimizing a computer code by minimizing a number of states in a finite machine corresponding to the computer code
SG11202004147RA (en) * 2017-11-09 2020-06-29 Nchain Holdings Ltd System for securing verification key from alteration and verifying validity of a proof of correctness
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
CN111736839B (zh) * 2019-03-25 2025-04-08 华为技术有限公司 一种编译链接方法及装置
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
CN116068955A (zh) * 2022-12-27 2023-05-05 湖北楚天高速数字科技有限公司 一种软plc控制方法、装置、设备及存储介质

Family Cites Families (14)

* Cited by examiner, † Cited by third party
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
CN101432755B (zh) * 2006-04-28 2011-01-12 松下电器产业株式会社 程序难破解化系统、程序难破解化装置及程序难破解化方法
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

Also Published As

Publication number Publication date
US20150277865A1 (en) 2015-10-01
JP2015537298A (ja) 2015-12-24
CN104823161B (zh) 2018-10-09
WO2014072209A1 (en) 2014-05-15
EP2917833A1 (en) 2015-09-16
US9921813B2 (en) 2018-03-20
EP2917833B1 (en) 2018-12-12
CN104823161A (zh) 2015-08-05
JP6429785B2 (ja) 2018-11-28
RU2015121749A (ru) 2016-12-27
MX2015005621A (es) 2015-08-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
BR112015004684A2 (pt) geração de código nativo a partir de código de linguagem intermediária para um aplicativo
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
BR112017010225A2 (pt) complexidade de localização de ativos e recursos de língua arbitrários
IN2014DE01235A (enExample)
MX382512B (es) Sistema de tiempo de ejecucion.
MX349710B (es) Instrucción de aborto de la transacción.
BR112016021725A2 (pt) Apoio de comportamento dinâmico em programas estatisticamente compilados
BR112015006393A2 (pt) método para produzir um produto de tecido, produto de tecido produzido por um processo, e método de tratamento
CY1119758T1 (el) Μεθοδος και συστημα για τη δημιουργια κωδικα
BR112015005115A2 (pt) trator de soldagem; método para soldar, de modo circunferencial, pelo menos um objeto cilíndrico; processo; sistema de soldagem
Lucanu et al. A generic framework for symbolic execution: A coinductive approach
BR112014016536A8 (pt) dispositivo de máquina virtual; sistema de execução distribuído; método de máquina virtual; e programa de computador
BR112015021851A2 (pt) processo de carbonilação
WO2015011567A3 (en) Method and system for compiler optimization
JP2010204979A5 (ja) コンパイル方法
JP2013539888A5 (enExample)
BR112015008117A2 (pt) benzamidas
BR112015002464B8 (pt) processo para a preparação de carbamat-benzoxazinona, carbamat-benzoxazinona e uso da carbamat-benzoxazinona
BR112013019851A2 (pt) planejamento automático de equipamento de controle de um sistema técnico
WO2012078742A3 (en) Multi-modal compiling apparatus and method for generating a hybrid codefile
Gómez-Zamalloa et al. Decompilation of Java bytecode to Prolog by partial evaluation
BR112017026203A2 (pt) método de geração de uma estratégia de produção para a explotação de um reservatório de hidrocarbonetos em um ambiente natural

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.