Terug Terug

Sémantiques formelles Vérification formelle de propriétés sémantiques des langages de programmation

Name: Sémantiques formelles
Author: Blazy-S

Auteur: Blazy-S

Taal: Frans

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Blazy-S Blazy-S

Frans
Paperback
9786131529955
28 februari 2018
132 pagina's

Alle productspecificaties

Samenvatting

Ce livre introduit les semantiques formelles et detaille des exemples d'utilisation pour definir des langages de programmation realistes et verifier des proprietes semantiques de ces langages. Il presente plusieurs styles et plusieurs definitions de semantiques formelles, puis introduit differentes transformations de programmes, et expose les choix de conception associes. En particulier, ce livre decrit une transformation de programmes inspiree de l'evaluation partielle et dediee a la comprehension de programmes scientifiques. Il detaille egalement le front-end d'un compilateur moderement optimisant du langage C dedie au logiciel embarque critique, ayant ete formellement verifie avec l'assistant a la preuve Coq et developpe dans le cadre du projet CompCert."

Productspecificaties

Inhoud

Taal: fr
Bindwijze: Paperback
Oorspronkelijke releasedatum: 28 februari 2018
Aantal pagina's: 132
Illustraties: Nee

Betrokkenen

Hoofdauteur: Blazy-S
Tweede Auteur: Blazy-S
Hoofduitgeverij: Omniscriptum

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 152 mm
Product hoogte: 8 mm
Product lengte: 229 mm
Studieboek: Ja
Verpakking breedte: 150 mm
Verpakking hoogte: 8 mm
Verpakking lengte: 220 mm
Verpakkingsgewicht: 213 g

EAN

EAN: 9786131529955

Je vindt dit artikel in

Categorieën: Computers & Informatica

Poëzie, Bloemlezingen & Letterkunde

Programmeren

Literatuurwetenschap

Programmeertalen

Boeken
Taal: Frans
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Algemene boeken
Beschikbaarheid: Leverbaar

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.