paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 191752525Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Sémantique opérationnelle

Source

Encycl. universalis (art. : Programmation) - http://www.universalis-edu.com (2017-01-16)

Modélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental / P. Bazex, A. Canals [in] Techniques de l'ingénieur, 2011, H3880 v2

Sémantique opérationnelle du langage synchrone Esterel / L. Cosserat, 1985 [thèse]

Sémantique opérationnelle et langage de spécification de moteurs d'inférences de systèmes experts / J. Sylvestre, 1987 [thèse]

Autres identifiants

Identifiant BNF : FRBNF171003900

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

... Références liées : ...