Do agda programs necessarily terminate?...

Making a function that will identify an infinite loop in existing code...

P-NP problems solved? FindBugs solves the halting prob?...

How is heuristic-based virus detection possible?...

Java: Iterative method returning an object...

What would programming languages look like if every computable thing could be done in 1 second?...

Will this algorithm terminate?...

The use of System.currentTimeMillis() in loops in Java...

Automatically and deterministicly testing a function for associativity, commutativity etc...

Do all regular expressions halt?...

why there can't be a program that checks another program...