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...
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Materiálatiipa: | Artigo |
| Giella: | Francês |
| Almmustuhtton: |
Collège de France
2023
|
| Fáttát: | |
| Liŋkkat: | https://doi.org/10.4000/annuaire-cdf.18052 https://hdl.handle.net/20.500.13089/9phk https://journals.openedition.org/annuaire-cdf/18052 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|