I have datatype stack_op which consists of several (~20) cases. I'm trying write function which skips some of that cases in list: which seems to al ...
I have datatype stack_op which consists of several (~20) cases. I'm trying write function which skips some of that cases in list: which seems to al ...
I have a service in my app which adds a notification every few seconds. My problem is that it doesn't stop when the app is stopped. Can someone please ...
I was searching for quite some time but I was unable to find a simple solution. I have a python script that runs indefinitely and saves some files whe ...
We are trying to figure out how best to monitor long-running jobs automatically. Say, over X=3 hours. In Snowflake, users can put a resource governor ...
I have some Agda code like the following (trimmed down to focus on what I believe is the issue, which is the recursion using map): How do I convi ...
I am new to openidm and trying to explore options to remove roles from user once user status changes to terminated. Is there any out of box feature a ...
I prepared a university assignment where they asked me to create sequence diagram. Here is the diagram. The teacher rejected the diagram and asked ...
I would like the slurm workload manager to do some action like touch stopped.txt at job termination either due to time out or failure. How can this be ...
I am working on a multi objective optimization task and I am writing my termination criterion. The tolerance says when the algorithm is terminated and ...
I have a Ruby app (written in Roda, running as a Rack app on Puma) which I want to be able to stop on a click of a button in the browser - basically t ...
I'm stuck while trying to define a recursive function in Coq over a particular type of n-ary tree. The n-ary tree type I'm using is defined as a mutu ...
I would like to know more about termination in functions, for example: how termination work in this function when n is a natural number or how I can t ...
I try to deploy my image that is based on node (node:latest) on azure. When I do it terminates automatically and does not let me do what I need to do ...
My program has the following parent child layout: I am not able to kill the child process (fork2) - the first process gets terminated. The kids vec ...
I have a multi-container pod in k8s, let's call them A and B. When stopping the pod, A must stop before B because A needs B until it's off. To do tha ...
The following Prolog program defines a predicate fact/2 for computing the factorial of an integer in successor arithmetics: It works with queries i ...
There are two possible rules for addition in Prolog, with different termination properties according to cTI: cTI reports sum(A,B,C)terminates_if b ...
Here I mean axiom as what we can define with the Axiom keyword in Coq Gallina, not with such command-line argument passing to Coq. I know some axioms ...
I'm trying to provide an automatic termination proof for this function: with isEmpty being I'm totally new at this, so I don't know how terminat ...
The PLFA exercise: what if we write the arithmetic more "naturally" in Quantifiers chapter (https://plfa.github.io/Quantifiers/) ? I have make the ...