Науково-теоретичний журнал "Штучний інтелект" No.2'2002

зміст

УДК 510.6+519.68

Система дедуктивного синтезу програм

Корухова Ю.С., Пильщиков В.Н.

В роботi викладенi теоретичнi основи одного з пiдходiв до дедуктивного синтезу програм - т. зв. методу дедуктивних таблиць. Особливiстю методу є те, що в ньому правила логiчного висновку спецiально дiбранi так, що кожному з них вiдповiдає той чи iнший крок синтезу. На факультетi обчислювальної кiбернетики МДУ розпочата робота з практичної реалiзацiї цього методу для синтезу програм мовою Лiсп.


УДК 510.6+519.68

Система дедуктивного синтеза программ

Корухова Ю.С., Пильщиков В.Н.

В работе изложены теоретические основы одного из подходов к дедуктивному синтезу программ - т.н. метода дедуктивных таблиц. Особенностью метода является то, что в нем правила логического вывода специально подобраны так, что каждому из них соответствует тот или иной шаг синтеза. На факультете вычислительной математики и кибернетики МГУ начата работа по практической реализации этого метода для синтеза программ на языке Лисп.

зміст


Copyright ©   1995-2024; Інститут проблем штучного інтелекту.
Усi права на матерiали, що знаходяться на сайтi Інституту проблем штучного інтелекту, захищаються вiдповiдно до законодавства України. Використання матерiалiв дозволяється у випадку посилання (для iнтернет-видань - гiперпосилання) на www.iai.dn.ua. Передрукування, копiювання або вiдтворення iнформацiї, що не мiстить у собi посилання на www.iai.dn.ua, у будь-якому виглядi суворо забороненi.
Проблеми/коментарi? Пишіть.