Mérföldkövek a metavychisleny

Érdekes, hogy a történet metavychisleny is évtizedek óta.
Vagy talán én szabott visszamenőleg?

A megjelenése módszerek és megértése alapvető fontosságú a mély átalakítására program célkitűzései - különösen a specializáció. Függetlenül, hogy ezek a gondolatok jöttek Valentin Tu rchin. Andre Ershov st. Yoshihiko Futamura (Yoshihi ko Futamura).

Szakterület programok - ez egy termék a program f (x, y) egy ismert X fx programot. oly módon, hogy fx (y) = f (x, y). Specializer Spec - olyan program, amely kiemelkedő az F és X programot fx = Spec (f, x).

Turchin azon a 1972-1977 kifejlesztett módszer alapjait supercompilation. amely figyelembe veszi annak szükségességét, hogy „elkövetni nagyszabású metarendszer átmenet (KKV) algoritmusok, programok”, miután a fejlesztés a kkv kidolgozott fogalom a könyv „pheno Men of Science” (írásbeli, 1970). E SME, ő képletesen a következőképpen írja le: „Szükséges, hogy a program az azonos természetes objektum feldolgozása, a számok a Fortran”. Turchin bemutatott supercompilation dönthet 1) inverz probléma (adott program és annak eredménye, hogy megtalálják azt az érvet), 2), hogy automatizálják az építési fordítóprogramok, tolmácsok. Észrevette, hogy a kettős önálló alkalmazás (pl kkv-k) supercompiler (mint specializer) adja a fordító-fordító (Futamura Ershov és megállt egyszerre önálló alkalmazás).

Andrei Ershov talált (a folyamat a „Alpha” csapat többnyelvű fordító), hogy számos különböző feladatokat szem előtt csökken az építési úgynevezett generációs bővítő programok.

Generálása meghosszabbítása a program f (x, y) - olyan program f ge (x), amely az x fx generál a program. oly módon, hogy fx (y) = f (x, y), azaz f (x, y) = f ge (x) (y).

Példa: a fordító - ez generáló bővítése értelmező. Ershov kifejlesztett módszerrel úgynevezett vegyes számítások generálására automatikus generációs kiterjesztések: Gen (f) = f ge. Kapcsolat a specializáció: Gen (f) = Spec (Spec, f); Itt jön egyszeri önálló alkalmazás specializer.

A megjelenése kísérleti supercompilers és specializers. A megjelenése a globális tudományos közösségben Részleges szervíz és szemantikus alapú program Manipulation (PEPM), amely magában foglalja a supercompilation.

A figyelmet a részletekre, és a mozgás supercompilation elmélettől a gyakorlatig.

A korai 90-es van szükség rendszerezése és a „lebegő rendet” supercompilation bázisok. Munkájának köszönhetően a Szergej Abramov, Robert Gluck (Robert Glck) és Andrej Klimov supercompilation volt összeállítani, hogy képes legyen használni módszerek alapvető megoldás egyszerűbb feladatok és fokozatosan adjunk hozzá technikák bonyolultabb feladat. Lehetőség van a fejlődése meginduljon komplex gyakorlati supercompilers nyelvek, mint a Java.

Ugyanakkor, Turchin és Andrej Nemytykh tovább fejleszteni „haladó» (haladó) supercompilation módszerek a folyamat végrehajtása az új supercompiler az Refal-5, amelyet fel lehetne használni bizonyos gyakorlati problémákat.

„Materenie” elméletét és módszertanát. Segítségével supercompilers a gyakorlatban. Különösen akkor kell kitölteni végén folyamatban lévő 90-es évek munkája metavychisleniyam Java nyelv (és supercompilation és részleges értékelés) és indul azok gyakorlati alkalmazásáról.

Számítógépes és információs forradalom a 90-es évek létrehozott egy valós igény a mély optimalizálási technikákat és programokat készíteni a feltételeket és a technikai eszközök használata a gyakorlatban. Supercompilation lesz forradalmi hatással a programozási technikák, így eszközök továbbfejlesztése „komponens programozás” deklaratív programozás, a fejlesztés a különböző speciális nyelv, és így tovább. N.

És a 10. évfolyamon volt egy csodálatos hűvös anya Oyshpits Svetlana. Hála neki erőfeszítéseket, gyakran a Tretyakov Galéria és a Puskin Múzeum és más helyeken a kulturális szintet.

A hűvös, Kis, Svetlana Oyshpits, szereti verni a mutatót a kezét, mondván: „marha, amelyen hozza az istállók?”