СибНСХБ

Вид поиска

Область поиска

Найдено в других БД

Формат представления найденных документов:
библиографическое описание	краткий	полный

Поисковый запрос: (<.>S=СЕМАНТИЧЕСКИЙ НАСТАВНИК<.>)

Общее количество найденных документов : 1

РЖ ВИНИТИ 34 (BI38) 91.05-04А3.580

Koh, Hikyoo.
Goal-directed semantic tutor [Text] / Hikyoo Koh, Daniel Ming-Jen Wu // 1st Int. Conf. Ind. and Eng. Appl. Artif. Intell. and Expert Syst. (IFA/AIE - 88), Tullahoma, Tenn., June 1-3, 1988. - New York (N. Y.), 1988. - Vol. 1. - P171-176 . - ISBN 0-89791-271-3
Перевод заглавия: Семантический наставник, основанный на формализации цели
Аннотация: Разработана эффективная система семантического наставника на яз. Паскаль, способная обнаруживать и исправлять семантические ошибки в программах (П) на Паскале уже после успешной компиляции. Принципы работы метода: а) строится описание задачи, к-рую П должна решить, в терминах набора формализованных целей с помощью спец. преобразования; б) тестовая программа переводится в эквивалентное выражение на Лиспе, сохраняющее семантику и более удобное для сравнения с планами; в) проводится совмещение переменных и признаков с использованием ассоциативных связей. США, Computer Sci. Dep. Lamar Univ. Beaumont, ТХ 77710. Ил. 1. Библ. 9.

ГРНТИ	34.05.25

ВИНИТИ 341.05.25.15.11
Рубрики: МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ
ПРОГРАММЫ
ПАСКАЛЬ
СЕМАНТИЧЕСКИЕ ОШИБКИ
ИСПРАВЛЕНИЕ
СЕМАНТИЧЕСКИЙ НАСТАВНИК

Доп.точки доступа:
Wu, Daniel Ming-Jen

"Электронные каталоги и базы данных библиотек СО РАН"

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)

rtvarBDview(" результаты поиска","20190607010228","4682442");

Вид поиска