Contatto
Come acquistare
Consegna
Guida all'acquisto
Francese
180 b
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
20.29
€
/
In brossura
23.49
€
/
In brossura
21.59
€
/
Libro
21.69
€
/
In brossura
8.69
€
L'étude de langages de programmation toujours plus complexes requiert l'emploi d'outils mathématiques toujours plus sophistiqués. L'un de ces outils est la sémantique de jeux, qui propose de représenter les types par des jeux et les programmes par des stratégies. Si la technique a fait ses preuves pour de nombreux aspects des langages de programmation, elle a des difficultés ŕ représenter les programmes totaux, se heurtant ŕ des problčmes de terminaison similaires ŕ ceux observés en théorie de la démonstration. Dans cette thčse, on étudie ces problčmes dans deux cas. Le premier est celui des jeux basés sur des arčnes bien fondées : on donne un résultat général de terminaison des interactions, qu'on met en relation avec les théorčmes syntaxiques de normalisation. Le second correspond ŕ certaines formules infinies, notamment inductives et co-inductives. On s'inspire alors de conditions de gain utilisées en vérification pour construire un modčle précis d'un langage de programmation total avec induction et co-induction.
Informazioni sul libro
Francese
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
12.99
€
/
In brossura
57.89
€
/
In brossura
31.09
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?