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...

תיאור מלא

מידע ביבליוגרפי

מחבר ראשי:	Leroy, Xavier
פורמט:	Artigo
שפה:	Francês
יצא לאור:	Collège de France 2023
נושאים:	informatique vérification logique sémantique logiciel méthodes formelles langages types démonstration
גישה מקוונת:	https://doi.org/10.4000/annuaire-cdf.18052 https://hdl.handle.net/20.500.13089/9phk https://journals.openedition.org/annuaire-cdf/18052
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!