Programozási nyelvek megvalósításának eszközei és módszerei

Szerző

Janni Éva

Langer Tamás

Lektor

Dettrich Árpád

Budapest

'Janni Éva: Programozási nyelvek megvalósításának eszközei és módszerei ' összes példány

Kiadó:	Közgazdasági és Jogi Könyvkiadó
Kiadás helye:	Budapest
Kiadás éve:	1978
Kötés típusa:	Fűzött kemény papírkötés
Oldalszám:	169 oldal
Sorozatcím:	Számki-könyvek
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:	963-220-612-6

Értesítőt kérek a kiadóról

Értesítőt kérek a sorozatról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Tartalom

Bevezetés	7
Matematikai alapfogalmak	9
Néhány tudnivaló a programozási nyelvek megvalósításáról	13
Programozási nyelvek	13
Számítógépek programozása	19
Fordítás és értelmezés	22
A fordító- és értelmező programok felépítése	23
A fordítóprogram-készítés folyamata	28
Példanyelvünk - az egyszerű aritmetikai kifejezés nyelve	30
Programozási nyelvek szintaxisának formális megadása	32
Backus - naur alak	33
Wijngaarden-féle nyelvtanok	37
A ragnyelvtanok	42
Programozás nyelvek szemantikájának formális leírása	44
A szemantika megadása fordítóprogrammal	46
Szementikamegadás Wijngaarden-nyelvtannal	47
A szemantika megadása attributumokkal	51
Szemantikamegadás axiómákkal	55
Szemantikadefiniálás absztrakt értelmezővel (VDL)	57
Fordítóprogramok tervezése	66
Tervezési módszerek	66
A tervezés eszközei	68
Döntések a tervezés fázisában	75
Fordítóprogram-író rendszerek	79
A Floyd-féle produkciós nyelv	80
A DELTA rendszer	84
A McKeeman-féle fordítóprogram-író rendszer	86
A CDL fordítóprogram-író nyelv	99
Fordítóprogramok írására használatos programozási nyelvek	115
A BCPL és a BLISS programozási nyelv	121
A CDL programozási nyelv	123
Az XPL programozási nyelv	127
A PASCAL programozási nyelv	128
Példaprogramok	131
Fordítóprogramok áthelyezhetősége	139
Áthelyezhetősége magas szintű programozási nyelvek segítségével	139
Az UNCOL probléma	140
A fél- és a teljes bootstrap	143
Áthelyezhetőség nyelvgépek segítségével	147
Nyelvgépek tervezése és megvalósításuk módjai	149
Fordítóprogramok vizsgálata és dokumentálása	154
Fordítóprogramok helyességének ellenőrzése	154
Fordítóprogramok minőségvizsgálata	160
A fordítóprogramok dokumentálása	163
Irodalomjegyzék	165