Księga smoka

Compilers: Principles, Techniques and Tools (Angielskie kompilatory: Principles, Techniques and Tools ) to komputer referencyjnyw dziedzinie kompilacji , napisany przez Alfreda V. Aho , Raviego Sethi i Jeffreya D. Ullmana . Zajmuje się wszystkimi naukowymi i technicznymi aspektami budowania kompilatorów.

Znana jest pod nazwą Dragon book (po francusku Livre au dragon ) ze względu na obraz okładki, który na wszystkich kolejnych wydaniach przedstawia walkę rycerza ze smokiem. Różne wersje są powszechnie identyfikowane po kolorze smoka.

Historia i kolejne edycje

Książka Smok następuje pierwsza książka kiedykolwiek w języku francuskim, (en) Zasady Compiler projekt , napisany przez Alfreda V. Aho i Jeffrey D. Ullman . Ta książka, wydana w 1977 roku, zawierała już na okładce smoka. Z tego powodu, a także ze względu na kolor wspomnianego smoka, jest on czasami znany jako zielona księga smoka w języku angielskim  : Zielona Księga Smoka , chociaż nie jest to ściśle mówiąc wersja opisywanej tutaj księgi smoka .

Pierwsze wydanie księgi Smoka zostało opublikowane w języku angielskim w 1986 roku. Francuska wersja tego pierwszego wydania pochodzi z 1989 roku. Tłumaczami są Pierre Boullier , Philippe Deschamp, Martin Jourdan, Bernard Lorho i Monique Mazaud. Ze względu na kolor smoka na wersjach w języku angielskim i francuskim, to pierwsze wydanie jest czasami nazywane Dragon book red w języku angielskim  : Red Dragon Book .

Drugie wydanie książki Dragon zostało opublikowane w języku angielskim w 2006 roku przez Pearson , z Moniką S. Lam jako czwartą współautorką. Jest nazywany fioletową księgą smoka ( Purpurowa Księga Smoka ) ze względu na kolor smoka na okładce. Wersja francuska ukazała się wlistopad 2007. Tłumaczami są Philippe Deschamp, Bernard Lorho, Benoît Sagot i François Thomasset.

Zawartość

Tematy poruszane w pierwszej wersji Księgi Smoka są następujące:

• Struktura kompilatora
• Analiza leksykalna (w tym wyrażenia regularne i automaty skończone )
• Analizowania (w tym bezkontekstowych gramatyk , do analizy LL , do analizy oddolnego i analizą LR i LALR )
• Tłumaczenie sterowane składnią
• Sprawdzanie typu
• Środowisko uruchomieniowe
• Generowanie kodu
• Optymalizacja kodu

Druga edycja to gruntowna aktualizacja pracy, o nowe tematy, takie jak:

• Nowe analizy przepływu danych
• Maszyny równoległe
• Lokalizacja danych
• Kompilacja just-in-time
• Odbierz okruchy w języku angielskim  : wywóz śmieci
• Potok oprogramowania
• Analiza zależności
• Przekształcenia pętli, przekształcenia afiniczne
• Analiza międzyproceduralna
• Analiza wskaźników
• Analiza i Datalog
• Analiza i diagramy decyzji binarnych

Uwagi i referencje

1. Dlaczego smok? Napis na piersi smoka „  Complexity of Compiler Design  ” ( złożoność projektowania kompilatora ) wyjaśnia ten wybór: dla autorów kompilator to temat o wielkiej złożoności, więc jeśli ktoś tego nie wie, można go uznać za niepokonanego potwora użyj odpowiednich narzędzi, intelektualistów i oprogramowania, ujawnionych w takiej książce ...
2. Aho, Sethi, Ullman, Kompilatory: zasady, techniki i narzędzia , Addison-Wesley, 1986. ( ISBN  0-201-10088-6 )
3. Aho, Sethi, Ullman, Compilers: Principles, Techniques and Tools , InterEditions, 1989 ( ISBN  2-7296-0295-X ) . Wydane ponownie przez Dunod w 2000 roku pod tytułem Kompilatory: zasady, techniki i narzędzia - Kursy i ćwiczenia . ( ISBN  2-100-05126-1 )
4. Aho, Lam, Sethi, Ullman, Compilers: Principles, Techniques and Tools,  wydanie 2 e , Pearson Education France, 2007. ( ISBN  978-2-7440-7037-2 )

Linki zewnętrzne

• (fr) Strona internetowa francuskiej wersji księgi Smoka