Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > N > Noizet Victoire
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

Necro, la sémantique sans y laisser les os : conception d’un système formel de description et de manipulation de sémantiques opérationnelles
  • Consulter la notice
  • Date de publication : 
    • 29-09-2022  | 
  • Auteur(s) : 
    • Noizet Victoire  | 
  • Editeur(s) : 
    • Universite de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • Les langages de programmation ont rarement une sémantique définie de manière formelle. Pourtant, c'est la seule manière de garantir l'unicité de l'interprétation d'un langage. Une des raisons qui expliquent ce manque est la difficulté d'écrire une sémantique, et le peu d'application qu'on peut en faire. Nous proposons donc Skel, un langage simple qui permet d'écrire des sémantiques opérationnelles...


  • Référencé le  : 
    • 13-05-2024
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI