A programozási nyelvek megértése

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Understanding Programming Languages

Könyv tartalma:

Ez a könyv a programozási nyelvek jelentésének leírásáról szól. A szerző megtanítja a szemantikus leírások írásának készségét, mint a nyelvek jellemzőinek megértésének hatékony módját. Míg egy fordító vagy egy értelmező egyfajta formális leírást nyújt egy nyelvről, ez nem olyasmi, ami alapul szolgálhat az adott nyelvről való gondolkodáshoz, és nem szolgálhat magának a programozási nyelvnek a definíciójaként sem, mivel ennek számos megvalósítást kell lehetővé tennie. Egy nyelv formális szemantikájának megírásával a tervező sokkal rövidebb leírást kaphat, és a tervezési döntéseket ki tudja bontani, elemezni és rögzíteni tudja.

A könyv elején a szerző bevezet egy egyszerű jelölést, egy metanyelvet, amelyet a nyelvek szemantikájának leírására használnak. Gyakorlatias megközelítésben több tucatnyi, a jelenlegi programozási nyelvekben felmerülő problémát vizsgál meg, valamint azokat a kulcsfontosságú technikákat, amelyeket el kell sajátítani a szükséges formális szemantikai leírások megírásához. A könyvet a nyolc legfontosabb kihívás tárgyalása zárja: a nyelv lehatárolása (konkrét reprezentáció), a nyelv absztrakt tartalmának lehatárolása, szemantika rögzítése (determinisztikus nyelvek), operatív szemantika (nem determinizmus), kontextusfüggőség, megosztás modellezése, párhuzamosság modellezése és kilépések modellezése.

A tartalom osztályonként tesztelt, és alkalmas utolsó éves alap- és mesterképzésre. Alkalmas továbbá minden olyan tervező számára, aki mélyebb szinten szeretné megérteni a nyelveket. A legtöbb fejezet projekteket kínál, ezek közül néhány meglehetősen haladó feladatot, amelyek a nyelvek teljes leírását kérik, és a könyvet végig további olvasmányokra és forrásokra mutató mutatókkal támogatják. Előfeltételként az olvasónak ismernie kell legalább egy imperatív magas szintű nyelvet, és rendelkeznie kell némi ismerettel a logika és halmazelmélet diszkrét matematikai jelöléseiről.