Sciences du logiciel
Cours – Sémantiques mécanisées : quand la machine raisonne sur ses langages« Que fait ce programme, au juste ? » Pour répondre à cette question avec la précision des mathématiques, il nous faut une sémantique formelle du langage dans lequel ce programme est écrit. Plusieurs approches de la sémantiqu...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Artigo |
| Idioma: | Francês |
| Publicat: |
Collège de France
2023
|
| Matèries: | |
| Accés en línia: | https://doi.org/10.4000/annuaire-cdf.18052 https://hdl.handle.net/20.500.13089/9phk https://journals.openedition.org/annuaire-cdf/18052 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|