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...
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Artigo |
| Hizkuntza: | Francês |
| Argitaratua: |
Collège de France
2023
|
| Gaiak: | |
| Sarrera elektronikoa: | https://doi.org/10.4000/annuaire-cdf.18052 https://hdl.handle.net/20.500.13089/9phk https://journals.openedition.org/annuaire-cdf/18052 |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|