Cantitate/Preț
Produs

Logique et interaction: une étude sémantique de la totalité

Autor Pierre Clairambault
fr Limba Franceză Paperback – iun 2010
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.
Citește tot Restrânge

Preț: 48657 lei

Preț vechi: 60821 lei
-20% Nou

Puncte Express: 730

Preț estimativ în valută:
8610 10096$ 7561£

Carte tipărită la comandă

Livrare economică 04-18 februarie 26

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9786131510236
ISBN-10: 6131510237
Pagini: 288
Dimensiuni: 152 x 229 x 17 mm
Greutate: 0.43 kg
Editura: Editions
Colecția Editions universitaires europeennes