Abstract: The invention relates to the installation of a compiled program, particularly in a chip card. In order to reduce the storage location of a compiled program (PGC) to be installed in a data processing device, such as a chip card (CP), installation information detected in the compiled program, which is also necessary for the installation of other programs in the device and which is only necessary for the installation of the compiled program respectively, is reformulated in first and second additional components (CAD1, CAD2). The compiled program is installed (C3, C4) and, in particular, checked according to pre-determined information in the additional components (CAD1, CAD2) in the device. The second additional component (CAD2) can then be deleted (C5) prior to the running of the compiled program.

Abstract: The verification process is applied to a programme (4) when it is being integrated into an electronic device (2), the programme being organized on the basis of types linked by parentage relationships, each type being identified by a respective code. The invention is characterized in that it comprises a phase which consists in carrying out unification of the types so as to determine their nearest common ancestor using a form of said code including a pattern of bits in accordance with a formalism which expresses the parentage of the type with which it is associated, and by performing a logical combination of the patterns assigned to the types to be unified, producing the pattern of the type which is their nearest common ancestor. The invention enables verification in devices with limited storage memory resources, in particular smart cards (2).