Հրապարակման մանրամասներ:

"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:

Ամսագրի կամ հրապարակման վերնագիր:

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

Հրապարակման ամսաթիւ:

2004

Հատոր:

104

Համար:

1

ISSN:

0321-1339

Պաշտոնական URL:

Լրացուցիչ տեղեկութիւն:

կապին հետեւելուն համար սեղմէ հոս

Այլ վերնագիր:

Տրամաբանական ծրագրավորման համակարգերի օպտիմիզացիա նրանց ծրագրերի ձևափոխման միջոցով։ Optimization of logical programming systems by means of transformations of their programs.

Աջակից(ներ):

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Ծածկոյթ:

12-17

Ամփոփում:

Աշխատանքում տրված է տրամաբանական ծրագրավորման T-օպտիմիզացվող համակարգի սահմանումը, որտեղ T-ն ծրագրերի ձևափոխությունների ինչ-որ մի բազմություն է: Ընդհանուր մոտեցման ցուցադրման համար ընտրված են PROLOG համակարգի ինտերպրետատորը և այն ձևափոխությունների բազմությունը, որոնք տեղափոխում և հեռացնում են ծրագրերի նախադասությունները, տեղափոխում են ատոմները ծրագրերի կանոնների մարմիններում: Տրամաբանական ծրագրավորման մի շարք համակարգերի համար ստացվել են արդյունքներ նրանց T-օպտիմիզացման վերաբերյալ:

Հրատարակութեան վայրը:

Երևան

Հրատարակիչ:

ՀՀ ԳԱԱ հրատ.

Ստեղծման ամսաթիւը:

2004-03-15

Ձեւաչափ:

pdf

Նոյնացուցիչ:

oai:arar.sci.am:46032

Դասիչ:

АЖ 144

Թուայնացում:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Բնօրինակին գտնուելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան