Serguey Zefirov (thesz) wrote,
Serguey Zefirov
thesz

Проверка завершимости вычислений.

Если ограничить выразимые алгоритмы определенным классом сложности, то можно гарантировать остановку вычислений.

Кое-какие публикации на тему ограничения сложности вычислений с помощью типов.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 29 comments