La Sémantique Naturelle de Java
Large sous-ensemble, spécifié par M. Russo
- Héritage, caractéristiques objets ? sém. Big-Step
- Multithreading ? sém. Small-Step
- 400 règles Typol exécutables dans système Centaur
Centaur: outil de génération d ’environnement de langage
- règles d ’affichage en Ppml
- règles sémantiques en Typol