Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

Aller à Demande

1. WO2003019366 - COMPRESSION D'UN PROGRAMME EN LANGAGE INTERMEDIAIRE

Numéro de publication WO/2003/019366
Date de publication 06.03.2003
N° de la demande internationale PCT/FR2002/002962
Date du dépôt international 29.08.2002
Demande présentée en vertu du Chapitre 2 29.03.2003
CIB
G06F 9/45 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
9Dispositions pour la commande par programme, p.ex. unités de commande
06utilisant des programmes stockés, c. à d. utilisant un moyen de stockage interne à l'équipement de traitement de données pour recevoir ou conserver les programmes
44Dispositions pour exécuter des programmes spécifiques
45Compilation ou interprétation de langages de programmation évolués
CPC
G06F 8/4434
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
41Compilation
44Encoding
443Optimisation
4434Reducing the memory space required by the program code
Déposants
  • GEMPLUS [FR]/[FR] (AllExceptUS)
  • GRIMAUD, Gilles [FR]/[FR] (UsOnly)
  • BIZZOTTO, Gabriel [FR]/[FR] (UsOnly)
Inventeurs
  • GRIMAUD, Gilles
  • BIZZOTTO, Gabriel
Mandataires
  • BRUN, Philippe
Données relatives à la priorité
01/1127930.08.2001FR
Langue de publication français (FR)
Langue de dépôt français (FR)
États désignés
Titre
(EN) COMPRESSION OF A PROGRAMME IN INTERMEDIATE LANGUAGE
(FR) COMPRESSION D'UN PROGRAMME EN LANGAGE INTERMEDIAIRE
Abrégé
(EN)
The invention concerns a method for compressing a programme compiled in intermediate language (PGC), whereby instruction sequences (SQ) of the programme are detected and analysed outside a low-capacity data processing device, such as a smart card (CA), so as to generate (E3) annotations (AN) in intermediate language defining macro-instructions (MI) when the detected instruction sequences satisfy predetermined constraints (CSQ). The data processing device thus released from analysing sequences verifies (VER) the loaded annotations (AN) in accordance with the constraints, and produces and stores (CP) macro-instructions (MI) defined by the annotations, for replacement of the loaded instruction sequences.
(FR)
Pour compresser un programme compilé en langage intermédiaire (PGC), des séquences d'instructions (SQ) du programme sont détectées et analysées à l'extérieur d'un dispositif de traitement de données de faible capacité, tel qu'une carte à puce (CA), afin de générer (E3) des annotations (AN) en langage intermédiaire définissant des macro-instructions (MI) lorsque les séquences d'instructions détectées satisfont des contraintes prédéterminées (CSQ). Le dispositif de traitement de données ainsi déchargé de l'analyse des séquences vérifie (VER) les annotations chargées (AN) en fonction des contraintes, et produit et mémorise (CP) des macro-instructions (MI) définies par les annotations, en remplacement des séquences d'instructions chargées.
Également publié en tant que
Dernières données bibliographiques dont dispose le Bureau international