Вопросы по теме 'termination'
Некоторые вопросы при чтении Почему функциональное программирование важно
Я читаю знаменитую статью Почему так важно функциональное программирование и обнаружил то, чего не могу понять:
# P2 # # P3 # # P4 #
# P5 # # P6 # # P7 # # P8 # # P9 # # P10 # # P11 # # P12 #
133 просмотров
schedule
10.11.2021
Экземпляры функторов и монад, которые проверяют завершение
Это следует за другим вопросом , заданным несколько месяцев назад. Проблема связана с проверкой завершения в Agda с использованием размерных типов.
Вот преамбула:
{-# OPTIONS --sized-types #-}
module Term where
open import Data.Empty...
85 просмотров
schedule
06.10.2021
Доказательство прекращения функции Такеучи в Изабель
Вот моя попытка доказать, что функция Такеучи выполняет прекратить :
function moore :: "(int ⇒ int ⇒ int) ⇒ (int ⇒ int ⇒ int)" where
"moore x y z = ((if (x ≤ y) then 0 else 1) (max(x,y,z) - min(x,y,z)) (x - min(x,y,z)))"
fun tk :: "int ⇒ int...
221 просмотров
schedule
23.09.2021
Что может вызвать аварийное завершение программы?
Приложение MFC (использующее SQLite3.dll для доступа к БД вместе с другими DLL для доступа к оборудованию) аварийно завершает работу. Определенной последовательности завершения нет :( Мое приложение представляет собой
Однопоточное приложение...
8009 просмотров
schedule
27.06.2022
Разрушение контекста CUDA при завершении хост-процесса
Если моя хост-программа [выход]/[segfault]/[убита], каково соответствующее поведение в отношении разрушения контекста CUDA и соответствующих выделенных ресурсов?
Под «поведением» я подразумеваю автоматический механизм на стороне драйвера...
673 просмотров
schedule
26.06.2022
Сообщение от отладчика: прекращено из-за проблемы с памятью, когда я перезагружаю таблицу
Мое приложение аварийно завершает работу с сообщением: "Сообщение от отладчика: завершено из-за проблемы с памятью" , когда мое табличное представление перезагружается с увеличением количества строк.
Я извлекаю данные в строке из пути к каталогу...
339 просмотров
schedule
26.09.2022
Разрешает ли ISO C зависание выделенной памяти после завершения программы?
Интересный момент возник у некоторых моих коллег, некоторые из которых утверждают, что вы всегда должны free помнить, что вы malloc несмотря ни на что. Хотя я всегда считал, что это хорошая практика в целом, некоторые другие утверждали, что это...
366 просмотров
schedule
05.10.2022
Как правильно остановить текущий проект xCode?
Это может показаться глупым вопросом, однако, поскольку iOS 6 viewDidUnload больше не вызывается, меня интересует, как правильно завершить приложение iOS, которое в настоящее время отлаживается с помощью xCode на устройстве разработки. Достаточно ли...
3299 просмотров
schedule
01.10.2022
Как мгновенно завершить неконтролируемый скрипт по требованию?
У меня есть графический интерфейс, который напоминает интерпретатор. Он позволяет пользователю написать скрипт на Jython (реализация Python на Java) и запускать его в любое время. Кроме того, я также хочу, чтобы пользователь мог мгновенно завершить...
89 просмотров
schedule
19.09.2023
Как принудительно остановить мое приложение для Android программно?
Я хотел бы принудительно остановить свое приложение для Android, когда я нажимаю кнопку closeButton. Это мой код.
protected void onCreate(Bundle savedInstanceState) {
this.setContentView(R.layout.layoutxml);
this.closeButton =...
72515 просмотров
schedule
05.05.2023
Том EC2: как мне настроить его так, чтобы он удалялся при завершении?
У меня есть инстанс EC2, снимок которого я хочу использовать в качестве AMI для будущих спотовых инстансов. Из-за того, как я создал том для этого экземпляра, в настоящее время он настроен на не удаление при завершении. Я хочу, чтобы он удалялся...
9628 просмотров
schedule
06.02.2023
Статическое разрушение локально-статического объекта
Помогите мне понять это... выделено жирным шрифтом. Из Стандарта 3.6.3 Завершение (2)
2 Если функция содержит объект блочной области со статической или потоковой продолжительностью хранения, который был уничтожен, и функция вызывается во время...
649 просмотров
schedule
08.07.2023
Использование Loadbalancer ssl прекращено, как генерировать ссылки и другие URL-адреса с https
У меня возникла проблема с сайтом старой школы asp.net, который был перемещен за балансировщиком нагрузки с завершенным SSL. Весь трафик к IIS поступает от балансировщика нагрузки как HTTP-трафик порта 80. IIS отображает все URL-адреса...
387 просмотров
schedule
10.09.2023
Pkill -f не работает для уничтожения процессов
У меня запущен этот процесс:
342 pts/2 T 0:00 sh -c sudo screen /usr/bin/python /usr/bin/btdownloadcurses "http://zoink.it/torrent/732A4A9B54B7E3A916C2835D936D985942F65A6D.torrent" --display_interval 20 --saveas "/srv/"
343 pts/2 T...
33360 просмотров
schedule
29.05.2023
пакетный скрипт для цикла завершает пакет
Я пытаюсь использовать цикл for и читать содержимое файла построчно, файл представляет собой xml и содержит URL-адреса и пути, разделенные <>
Я использую следующий код
set @LOGFILE=F:\nircmd\hosts.xml
:loop
for /F "tokens=2-3...
42 просмотров
schedule
15.09.2023
Доказательство завершения функции в Coq
Мне не удается доказать завершение следующей функции:
Fixpoint norm_union u v : regex :=
match u, v with
| Empty , v => v
| u , Empty => u
| Union u v, w => norm_union u (norm_union v w)
| u...
582 просмотров
schedule
14.05.2023
Проблемы с завершением рекурсивной функции с помощью zip, map и products
Я столкнулся с проблемой при попытке определить рекурсивную функцию, которая использует карту поверх почтового индекса.
Вот упрощенная версия моего кода, во-первых, тот, который работает
datatype bar = Bar "bar list"
function (sequential)...
43 просмотров
schedule
04.01.2023
Можно ли написать нетерминирующий веб-сервер в agda?
Ответы на другие вопросы объясняют, что все программы Agda завершаются.
Насколько я понимаю, завершение любой действительной программы Adga является требованием, регулируемым расширенной системой зависимых типов Agda. Это строгое требование,...
168 просмотров
schedule
30.04.2023
в то время как завершение цикла в Dafny
Я пытаюсь проверить алгоритм с помощью Dafny. Я пытаюсь исправить сообщение об ошибке " выражение уменьшения может не уменьшиться (время ожидания истекло) ". Базовая структура моего алгоритма выглядит следующим образом:
while (U != {})...
285 просмотров
schedule
15.01.2023
Убедить Agda в том, что рекурсивная функция завершается
Мне трудно убедить Agda в том, что аргумент в рекурсивном вызове функции структурно меньше входящего аргумента.
Я определил пары, списки пар (представляющие конечные функции как «наборы» пар ввода / вывода) и объединения таких списков следующим...
217 просмотров
schedule
04.07.2023