Foundations of Programming Languages: Undergraduate Topics in Computer Science

Actualizarea principală a acestei a doua ediții a Foundations of Programming Languages constă în introducerea unor secțiuni noi dedicate implementării Java a mașinii virtuale JCoCo, un instrument esențial pentru înțelegerea execuției programelor. Găsim în acest volum o abordare tehnică și aplicată a fundamentelor care guvernează limbajele moderne, trecând dincolo de simpla sintaxă pentru a explora mecanismele interne de compilare și execuție. Ca și Maurizio Gabbrielli în Programming Languages: Principles and Paradigms, autorul utilizează conceptul de mașină abstractă ca element unificator, oferind studenților o bază solidă pentru a înțelege cum codul scris este transformat și rulat la nivel de hardware.

Structura cursului este riguros organizată, începând cu definirea formală a sintaxei prin gramatici, continuând cu explorarea limbajului de asamblare și culminând cu studiul detaliat al celor trei paradigme: orientată pe obiecte (Java), funcțională (Standard ML) și logică (Prolog). Reținem eficiența pedagogică a textului, care nu se limitează la teorie, ci include un studiu de caz complex: dezvoltarea unui compilator pentru Small, un subset robust al Standard ML. Această abordare practică este o constantă în opera autorului; dacă în Data Structures and Algorithms with Python accentul era pus pe eficiența manipulării datelor, aici Kent D. Lee își concentrează atenția asupra arhitecturii limbajelor, oferind instrumente precum un dezasamblor Python și mașina virtuală JCoCo pentru a demistifica procesele de sub capota interpretatoarelor moderne. Progresia de la concepte teoretice la proiecte de programare și inferență de tip (Type Inference) asigură o înțelegere profundă a modului în care designul unui limbaj influențează performanța și siguranța aplicațiilor.