摘要 |
A digital TV receiver/decoder comprises means for receiving digital data, a core programme in native code which permits the handling of digital data and a navigation programme, integrated in the core programme which permits in particular the handling of an HTML page. An extension manager causes the execution of an extension in a language which is interpreted by a virtual machine, integrated in the core programme, for the purpose of handling data of a fixed type as referenced in the HTML page.
|