SpiceQA
Questions
Tags
Users
Badges
halting-problem
6 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
poweroff redirect system halted
user_12622420
0
•
asked May 25, 2020
2
0
103
power-off
halting-problem
shutdown
exit
Is finding pointers in C/C++ code statically equivalent to the Halting Ρroblem?
user_356307
0
•
asked Dec 30, 2013
7
4
537
halting-problem
static-analysis
pointers
c
c++
Proof that the halting problem is NP-hard?
user_501557
0
•
asked Aug 9, 2011
28
1
32184
np
proof
halting-problem
theory
What exactly is the halting problem?
user_3788
0
•
asked Jul 10, 2009
58
25
24297
halting-problem
computer-science
Practical non-Turing-complete languages?
nobody_658
0
•
asked Nov 24, 2008
55
8
18185
halting-problem
finite-automata
turing-complete
regex
When have you come upon the halting problem in the field?
user_15055
0
•
asked Oct 25, 2008
66
13
5709
halting-problem
turing-machines
theory
field
language-agnostic
1
(current)
Hot Questions