Ішінара бағалау - Partial evaluation

Бұл мақалада жалпы тізімі бар сілтемелер, бірақ бұл негізінен тексерілмеген болып қалады, өйткені ол сәйкесінше жетіспейді кірістірілген дәйексөздер. Көмектесіңізші жақсарту осы мақала таныстыру дәлірек дәйексөздер. (Мамыр 2013) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Жылы есептеу, ішінара бағалау - бұл бірнеше түрлі типтерге арналған әдіс бағдарламаны оңтайландыру арқылы мамандандыру. Ең қарапайым қосымшасы - түпнұсқаларға қарағанда жылдамырақ жұмыс істейтін жаңа бағдарламалар шығару, сонымен қатар сол сияқты әрекет етуге кепілдік беру.

A компьютерлік бағдарлама прог ретінде көрінеді картаға түсіру деректерді шығыс деректерге енгізу:

${ displaystyle prog: I _ { text {static}} times I _ { text {dynamic}} to O,}$

қайда ${ displaystyle I _ { text {static}}}$, статикалық деректер, бұл компиляция кезінде белгілі болатын кіріс мәліметтер бөлігі.

Ішінара бағалаушы түрлендіреді ${ displaystyle langle prog, I _ { text {static}} rangle}$ ішіне ${ displaystyle prog ^ {*}: I _ { text {dynamic}} to O}$ компиляция кезінде барлық статикалық кірісті алдын-ала есептеу арқылы. ${ displaystyle prog ^ {*}}$ «қалдық бағдарлама» деп аталады және бастапқы бағдарламаға қарағанда тиімдірек жұмыс істеуі керек. Ішінара бағалау актісі «қалдық» деп аталады ${ displaystyle prog}$ дейін ${ displaystyle prog ^ {*}}$.

Futamura болжамдары

Жартылай бағалауды қолданудың ерекше қызықты мысалы, алғаш рет 1970 жылдары Ёсихико Футамура сипаттаған,^[1] қашан прог - бағдарламалау тілінің аудармашысы.

Егер Мен_{статикалық} - бұл осы аудармашының ішінде жұмыс істеуге арналған бастапқы код, содан кейін осы деректерге / бағдарламаға қатысты аудармашыны ішінара бағалау жасалады прог*, тек сол бастапқы кодты іске асыратын, аудармашының іске асыру тілінде жазылған, бастапқы кодтың толтырылуын қажет етпейтін және аудармашының бастапқы көзі мен аудармаға қарағанда жылдамырақ жұмыс жасайтын аудармашының нұсқасы. Бұл жағдайда прог* тиімді түрде құрастырылған нұсқасы болып табылады Мен_{статикалық}.

Бұл әдіс алғашқы Futamura проекциясы ретінде белгілі, оның үшеуі бар:

1. Берілетін бастапқы кодқа аудармашыны мамандандыру, орындалатын нәтиже беру.
2. Компиляторды бере отырып, аудармашыға мамандандырылған (№1-де көрсетілгендей).
3. Өзіне мамандандыруды мамандандыру (№2-де көрсетілгендей), кез-келген аудармашыны баламалы компиляторға айналдыра алатын құрал.

Сонымен қатар, №3 құралды өзіне қолдану құралдың өзін береді, сондықтан ол а Квине.

Оларды Футамура алғаш рет 1983 жылы сипаттаған.^[2]

Сондай-ақ қараңыз

• Компиляция-уақыт функциясын орындау
• Есте сақтау
• Ішінара қолдану
• Алгоритмнің мамандандырылуы
• с_мн теорема
• Күштің төмендеуі
• Үлгілерді метапрограммалау

Әдебиеттер тізімі

Жалпы сілтемелер

• Ёсихико Футамура, https://web.archive.org/web/20110629171734/http://www.brics.dk/~hosc/local/HOSC-12-4-pp381-391.pdf Есептеу процесін ішінара бағалау - компилятор-компиляторға көзқарас
• Чарльз Консель және Оливье Дэнви (1993). «Ішінара бағалау туралы нұсқаулық». Бағдарламалау тілдерінің принциптері бойынша жиырма жылдық ACM симпозиумының материалдары: 493–501.

Сыртқы сілтемелер

• Джон Джонс, Карстен К. Гомард және Питер Сестофт: Бағдарламаны ішінара бағалау және автоматты түрде құру (1993) Кітап, толық мәтін Интернетте қол жетімді.
• 1999 ACM SIGPLAN ішінара бағалау және семантикаға негізделген бағдарламаны манипуляциялау бойынша семинар (PEPM'99)
• C ++ шаблоны ішінара бағалау ретінде, 1999 ACM SIGPLAN ішінара бағалау және семантикаға негізделген бағдарламаны манипуляциялау бойынша семинар (PEPM'99)
• C ++ шаблондары ішінара бағалау ретінде басқа нұсқасы, оның ішінде Catat (pdf)
• Динамикалық, рефлексиялық бағдарламалау тілдеріне динамикалық ішінара бағалауды қолдану