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...
Na minha lista:
| Hovedforfatter: | |
|---|---|
| Format: | Artigo |
| Sprog: | Francês |
| Udgivet: |
Collège de France
2023
|
| Fag: | |
| Online adgang: | https://doi.org/10.4000/annuaire-cdf.18052 https://hdl.handle.net/20.500.13089/9phk https://journals.openedition.org/annuaire-cdf/18052 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|