Discussion/Travaux Futurs (2/2)
La semantique (suite)
- De Java Card
Spécifier comportement JCRE, CAD, Classe Applet en Typol ?
?taille prog ?performances + gestion transparente des threads
Spécifier les classes et APIs de Java Card (51 classes dont 18 d’exception)
Liste d’objets transients (moment de maj), transactions atomiques, partage des objets
Performances
Prog assez gros (?500 lignes) exécuté en 7 mn sur un DEC PWS 500
Interface
Interface interactive - Pb: avoir un CAD générique
Fê pour visualiser comportement JCRE et Obj File