Օբյեկտ

Վերնագիր: Оптимизация систем логического программирования посредством преобразований их программ

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

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

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

2004

Հատոր:

vol. 104

Համար:

№ 1

ISSN:

0321-1339

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

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

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

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

Ծածկույթ:

12-17

Ամփոփում:

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

Հրատարակիչ:

ՀՀ ԳԱԱ

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

2004-03-15

Ձևաչափ:

pdf

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

oai:arar.sci.am:46032

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

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

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Feb 9, 2021

Մեր գրադարանում է սկսած:

Mar 5, 2020

Օբյեկտի բովանդակության հարվածների քանակ:

1

Օբյեկտի բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/51324

Ցույց տուր նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն