000			02842nam a22004453i 4500
001			EBC6482578
003			MiAaPQ
005			20240724114914.0
006			m o d |
007			cr cnu||||||||
008			240724s2020 xx o ||||0 fre d
020			_a9781784067021 _q(electronic bk.)
020			_z9781784057022
035			_a(MiAaPQ)EBC6482578
035			_a(Au-PeEL)EBL6482578
035			_a(OCoLC)1239990650
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aP325.5.D38 A233 2021
082	0		_a401.430285
100	1		_aHardin, Thérèse.
245	1	0	_aConcepts et Sémantique des Langages de Programmation 2.
250			_a1st ed.
264		1	_aLondon : _bISTE Editions Ltd., _c2020.
264		4	_c©2020.
300			_a1 online resource (252 pages)
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
505	0		_aFront cover -- Table des matières -- Préface -- Avant-propos -- Chapitre 1 -- Chapitre 2 -- Chapitre 3 -- Chapitre 4 -- Annexe -- Liste des notations -- Bibliographie -- Index -- Sommaire -- Back Cover.
520			_aCet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un éclairage mathématique sur leurs sémantiques et une présentation précise des aspects matériels qui interfèrent avec le codage.Ce deuxième volume présente un modèle sémantique original commun aux constructions et opérations des modules et des classes : visibilité, importation, exportation, définitions différées, paramétrisation par types et valeurs, extensions. Ce modèle fonde l'étude des modules d'Ada, OCaml et des fichiers d'en-tête de C. Il est décliné pour modéliser les traits objet puis utilisé pour traiter les classes de C++, Java, Python et OCaml.Concepts et sémantique des langages de programmation 2 s'adresse aux étudiants et enseignants des cursus informatiques ainsi qu'aux programmeurs chevronnés, qui y trouveront un guide de lecture des manuels de référence ainsi que les fondements de la vérification de programmes.
588			_aDescription based on publisher supplied metadata and other sources.
590			_aElectronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650		0	_aSemantics-Data processing.
655		4	_aElectronic books.
700	1		_aJaume, Mathieu.
700	1		_aPessaux, François.
776	0	8	_iPrint version: _aHardin, Thérèse _tConcepts et Sémantique des Langages de Programmation 2 _dLondon : ISTE Editions Ltd.,c2020 _z9781784057022
797	2		_aProQuest (Firm)
856	4	0	_uhttps://ebookcentral.proquest.com/lib/orpp/detail.action?docID=6482578 _zClick to View
999			_c24555 _d24555