Înțelegerea limbajelor de programare

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Understanding Programming Languages

Conținutul cărții:

Această carte este despre descrierea semnificației limbajelor de programare. Autorul predă abilitatea de a scrie descrieri semantice ca o modalitate eficientă de a înțelege caracteristicile unui limbaj. În timp ce un compilator sau un interpret oferă o formă de descriere formală a unui limbaj, nu este ceva ce poate fi folosit ca bază pentru raționamentul despre acel limbaj și nici nu poate servi ca definiție a unui limbaj de programare în sine, deoarece acesta trebuie să permită o gamă de implementări. Prin scrierea unei semantici formale a unui limbaj, un proiectant poate produce o descriere mult mai scurtă și poate evidenția, analiza și înregistra alegerile de proiectare.

La începutul cărții, autorul introduce o notație simplă, un meta-limbaj, utilizat pentru a înregistra descrieri ale semanticii limbajelor. Într-o abordare practică, el ia în considerare zeci de probleme care apar în limbajele de programare actuale și tehnicile-cheie care trebuie stăpânite pentru a scrie descrierile semantice formale necesare. Cartea se încheie cu o discuție a celor opt provocări cheie: delimitarea unui limbaj (reprezentare concretă), delimitarea conținutului abstract al unui limbaj, semantica de înregistrare (limbaje deterministe), semantica operațională (nedeterminism), dependența de context, modelarea partajării, modelarea concurenței și modelarea ieșirilor.

Conținutul este testat la clasă și potrivit pentru cursurile de licență și postuniversitare din ultimul an. De asemenea, este potrivit pentru orice proiectant care dorește să înțeleagă limbajele la un nivel profund. Majoritatea capitolelor oferă proiecte, unele dintre acestea fiind exerciții destul de avansate care solicită descrieri complete ale limbajelor, iar cartea este susținută pe tot parcursul cu indicatoare către lecturi și resurse suplimentare. Ca o condiție prealabilă, cititorul trebuie să cunoască cel puțin un limbaj imperativ de nivel înalt și să aibă unele cunoștințe de notație matematică discretă pentru logică și teoria seturilor.