Zrozumieć języki programowania

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Understanding Programming Languages

Zawartość książki:

Ta książka dotyczy opisywania znaczenia języków programowania. Autor uczy umiejętności pisania opisów semantycznych jako skutecznego sposobu na zrozumienie cech języka. Podczas gdy kompilator lub interpreter oferuje formę formalnego opisu języka, nie jest to coś, co może być użyte jako podstawa do rozumowania o tym języku, ani nie może służyć jako definicja samego języka programowania, ponieważ musi to pozwolić na szereg implementacji. Pisząc formalną semantykę języka, projektant może uzyskać znacznie krótszy opis i wyodrębnić, przeanalizować i zapisać wybory projektowe.

Na początku książki autor wprowadza prostą notację, metajęzyk, używaną do zapisywania opisów semantyki języków. W praktycznym podejściu rozważa dziesiątki kwestii, które pojawiają się w obecnych językach programowania oraz kluczowe techniki, które należy opanować, aby napisać wymagane formalne opisy semantyczne. Książka kończy się omówieniem ośmiu kluczowych wyzwań: wyznaczanie granic języka (konkretna reprezentacja), wyznaczanie abstrakcyjnej zawartości języka, semantyka zapisu (języki deterministyczne), semantyka operacyjna (niedeterminizm), zależność kontekstowa, modelowanie współdzielenia, modelowanie współbieżności i modelowanie wyjść.

Treść jest sprawdzona w klasie i odpowiednia dla końcowych lat studiów licencjackich i podyplomowych. Jest również odpowiednia dla każdego projektanta, który chce zrozumieć języki na głębokim poziomie. Większość rozdziałów oferuje projekty, niektóre z tych dość zaawansowanych ćwiczeń, które wymagają pełnych opisów języków, a książka jest wspierana przez wskazówki do dalszej lektury i zasobów. Jako warunek wstępny czytelnik powinien znać przynajmniej jeden imperatywny język wysokiego poziomu i mieć pewną wiedzę na temat notacji matematyki dyskretnej dla logiki i teorii zbiorów.