Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in halting-problem

Java: Iterative method returning an object

java recursion halting-problem

Do agda programs necessarily terminate?

emacs agda halting-problem

Automated computation of algorithm time complexity for terminating algorithms

computer-science big-o code-analysis time-complexity halting-problem

Is there a "good enough" solution for the halting problem?

halting-problem

How can undecidable instances actually hang the compiler?

haskell typeclass halting-problem undecidable-instances

Is finding pointers in C/C++ code statically equivalent to the Halting Ρroblem?

c++ c pointers static-analysis halting-problem

Is mfix for Maybe impossible to be nontrivially total?

haskell monads maybe halting-problem fixpoint-combinators option-type

Automatically and deterministicly testing a function for associativity, commutativity etc

haskell higher-order-functions halting-problem associativity commutativity

"Finding all the code in a given binary is equivalent to the Halting problem." Really?

computer-science emulation halting-problem p-np

Do all regular expressions halt?

regex halting-problem

Halting in non-Turing-complete languages

theory turing-complete halting-problem

Proof that the halting problem is NP-hard?

theory proof halting-problem np

When is theoretical computer science useful?

theory turing-machines halting-problem computation

Determining whether a regex is a subset of another

regex regular-language halting-problem

Practical non-Turing-complete languages?

regex finite-automata turing-complete halting-problem

What exactly is the halting problem?

computer-science halting-problem

When have you come upon the halting problem in the field? [closed]

language-agnostic field theory turing-machines halting-problem

Infinite loops in Java

java halting-problem