Հրապարակման մանրամասներ:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ, 2026-ից՝ 2 անգամ։
Ամսագրի կամ հրապարակման վերնագիր:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Հրապարակման ամսաթիվ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկություն:
Վերնագիր:
Оптимизация систем логического программирования посредством преобразований их программ
Այլ վերնագիր:
Ստեղծողը:
С. А. Нигиян ; Л. О. Хачоян ; В. Р. Акопян
Աջակից(ներ):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018)
Խորագիր:
Չվերահսկվող բանալի բառեր:
Նիգիյան Ս. Ա. ; Խաչոյան Լ. О. ; Հակոբյան Վ. Ռ. ; Nigiyan S. A. ; Khachoyan L. O. ; Hakobyan V. R.
Ծածկույթ:
Ամփոփում:
Աշխատանքում տրված է տրամաբանական ծրագրավորման T-օպտիմիզացվող համակարգի սահմանումը, որտեղ T-ն ծրագրերի ձևափոխությունների ինչ-որ մի բազմություն է: Ընդհանուր մոտեցման ցուցադրման համար ընտրված են PROLOG համակարգի ինտերպրետատորը և այն ձևափոխությունների բազմությունը, որոնք տեղափոխում և հեռացնում են ծրագրերի նախադասությունները, տեղափոխում են ատոմները ծրագրերի կանոնների մարմիններում: Տրամաբանական ծրագրավորման մի շարք համակարգերի համար ստացվել են արդյունքներ նրանց T-օպտիմիզացման վերաբերյալ:
Հրատարակության վայրը:
Երևան
Հրատարակիչ:
Ստեղծման ամսաթիվը:
Տեսակ:
Ձևաչափ:
Դասիչ:
Թվայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան