Одностековая реализация бэктрекинга для языка Форт
Аннотация
Предложена методика реализации механизма откатов (бэктрекинга, backtracking) для языка Форт, отличающаяся использованием только одного стека (стека возвратов) и совместимостью с механизмом локальных переменных. Обсуждается возможность применения аналогичных методов для расширения бэктрекингом языка Си. Бэктрекинг позволяет ввести в язык еще один вид модульности — модули, отвечающие за пере- бор.Литература
Гасаненко М. Л. Новые синтаксические конструкции и бэктрекинг для языка Форт // Проблемы технологии программирования. — СПб: СПИИРАН, 1991-93, с. 148–162. http://www.forth.org.ru/~mlg/BacFORTH-88/BF-diplom.html
Баранов С. Н., Ноздрунов Н. Р. Язык Форт и его реализации. — Л.: Машиностроение, 1988 — 160 с. http://www.netlib.boom.ru/books/forth000.html http://www.forth.org.ru/~cactus/library.htm
Rodriguez B. A BNF Parser in Forth. ACM SIGForth Newsletter, vol. 2, no. 2, December 1990, p. 13–18. http://www.forth.org/literature/bnfparse.html
Rodriguez B. Rules Evaluation through Program Execution. Proc. of the 1990 Rochester Forth Conf., 1990, p. 123–125.
Charlton, Gordon "FOSM, A FOrth String Matcher". 1991 FORML Conference Proceedings, euroFORML'91 Conference, Oct 11-13, 1991, Marianske Lazne, Czechoslovakia, Forth Interest Group, Inc., Oakland, USA, 1992, p. 313-329.
Jakeman, Chris Portable Back-tracking In ANS Forth. Proc. of the FORML'96 conf. ftp://ftp.taygeta.com/pub/Forth/Applications/fosm1v1.zip
Gassanenko M. L. BacFORTH: An Approach to New Control Structures. Proc. of the Euro- Forth'94 conference, 4-6 November 1994, Royal Hotel, Winchester, UK p. 39–41. http://www.forth.org.ru/~mlg/ef94/ef94-2-paper.txt
American National Standard for Information Systems — Programming Languages — Forth. Document ANSI X3.215-1994, X3J14 Technical Committee, 1994, American National Standards Institute.
Gassanenko M. L. Formalization of Return Addresses Manipulations and Control Transfers. http://www.forth.org.ru/~mlg/ef95/ef95-2-paper.txt http://www.forth.org.ru/~mlg/ef95/ef95-2-talk.txt Proc. of the euroFORTH'95 conference, 27-29 October 1995, International Centre for Informatics, Dagstuhl Castle, Germany, 18 p.
Gassanenko M. L. 1996. Formalization of Backtracking in Forth // Proc. of the euroFORTH'96 Conf., 4–6 October 1996, Hotel Rus, St.Petersburg, Russia, 26 p. http://www.forth.org.ru/~mlg/ef96/ef96-1-paper.txt
Гасаненко М. Л. Механизмы исполнения кода в открытых расширяемых системах на основе шитого кода. Диссертация на соискание ученой степени кандидата физико-математических наук. — СПб, 1996. — 155 с.
Gassanenko M. L. 1999. Threaded Code Execution and Return Address Manipulations from the Lambda Calculus Viewpoint. On-line proc. of the EuroForth'99 conf. at http://dec.bournemouth.ac.uk/forth/euro/ef99.html. http://www.forth.org.ru/~mlg/ef99/gassanenko99b.pdf
Гасаненко М. Л. Расширение возможностей перебора с откатом (бэктрекинга) // Информационные технологии и интеллектуальные методы. — СПб: СПИИРАН, Изд. ТОО "Анатолия", 1997 — с. 23-35. http://www.forth.org.ru/~mlg/BacFORTH-90/pgasmil1-96.html
Баранов С. Н., Ноздрунов Н. Р. Язык Форт и его реализации. — Л.: Машиностроение, 1988 — 160 с. http://www.netlib.boom.ru/books/forth000.html http://www.forth.org.ru/~cactus/library.htm
Rodriguez B. A BNF Parser in Forth. ACM SIGForth Newsletter, vol. 2, no. 2, December 1990, p. 13–18. http://www.forth.org/literature/bnfparse.html
Rodriguez B. Rules Evaluation through Program Execution. Proc. of the 1990 Rochester Forth Conf., 1990, p. 123–125.
Charlton, Gordon "FOSM, A FOrth String Matcher". 1991 FORML Conference Proceedings, euroFORML'91 Conference, Oct 11-13, 1991, Marianske Lazne, Czechoslovakia, Forth Interest Group, Inc., Oakland, USA, 1992, p. 313-329.
Jakeman, Chris Portable Back-tracking In ANS Forth. Proc. of the FORML'96 conf. ftp://ftp.taygeta.com/pub/Forth/Applications/fosm1v1.zip
Gassanenko M. L. BacFORTH: An Approach to New Control Structures. Proc. of the Euro- Forth'94 conference, 4-6 November 1994, Royal Hotel, Winchester, UK p. 39–41. http://www.forth.org.ru/~mlg/ef94/ef94-2-paper.txt
American National Standard for Information Systems — Programming Languages — Forth. Document ANSI X3.215-1994, X3J14 Technical Committee, 1994, American National Standards Institute.
Gassanenko M. L. Formalization of Return Addresses Manipulations and Control Transfers. http://www.forth.org.ru/~mlg/ef95/ef95-2-paper.txt http://www.forth.org.ru/~mlg/ef95/ef95-2-talk.txt Proc. of the euroFORTH'95 conference, 27-29 October 1995, International Centre for Informatics, Dagstuhl Castle, Germany, 18 p.
Gassanenko M. L. 1996. Formalization of Backtracking in Forth // Proc. of the euroFORTH'96 Conf., 4–6 October 1996, Hotel Rus, St.Petersburg, Russia, 26 p. http://www.forth.org.ru/~mlg/ef96/ef96-1-paper.txt
Гасаненко М. Л. Механизмы исполнения кода в открытых расширяемых системах на основе шитого кода. Диссертация на соискание ученой степени кандидата физико-математических наук. — СПб, 1996. — 155 с.
Gassanenko M. L. 1999. Threaded Code Execution and Return Address Manipulations from the Lambda Calculus Viewpoint. On-line proc. of the EuroForth'99 conf. at http://dec.bournemouth.ac.uk/forth/euro/ef99.html. http://www.forth.org.ru/~mlg/ef99/gassanenko99b.pdf
Гасаненко М. Л. Расширение возможностей перебора с откатом (бэктрекинга) // Информационные технологии и интеллектуальные методы. — СПб: СПИИРАН, Изд. ТОО "Анатолия", 1997 — с. 23-35. http://www.forth.org.ru/~mlg/BacFORTH-90/pgasmil1-96.html
Опубликован
2002-02-01
Как цитировать
Гасаненко,. (2002). Одностековая реализация бэктрекинга для языка Форт. Труды СПИИРАН, 1(1), 211-223. https://doi.org/10.15622/sp.1.15
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
