Trusted Logic

Arnaud Venet

Alexandre Frey

Renaud Marlet

Daniel Le Metayer

A method for compressing an interpreted object code in a system using an interpreter, by identifying, in the interpreted object-coded program, similar non-contiguous groups of instructions, of arbitrarily complex structure, by replacing all or part of said groups in the interpreted object code of the program with newly-created specialized instructions and by instrumenting the interpreter and/or the interpreted object code of the program so as to render it capable of implementing the newly-created instructions.

Method for compression of object code interpreted by tree-structured expression factorization

The invention concerns a method for compressing program code for execution in a system with few physical resources. This method comprises a semantic analysis of the code as to identify the objects accessed at each program point and to replace in this program groups of instructions used to access the objects by more compact specialised instructions.

Semantic analysis based compression of interpreted code by replacing object instruction groups with special instruction specifying a register representing the object

Growing community of inventors

Paris, France

Arnaud Venet