Re: A modern view of the halting problem

On Sun, 22 Oct 2006 16:36:03 -0400
Frank Kotler <fbkotler@xxxxxxxxxxx> wrote:

:I wonder if the "code or
:data" question really maps to the binary "halt or not"...

It does not. However, the problem of determining if the flow of control
ever reaches a given location does map to the the halting question. So,
if a particular disassembly algorithm identifies code solely based on flow
control analysis, then that algorithm is not guaranteed to produce correct
results.

-- Chuck

.

Relevant Pages

  • Re: R> DROP in GForth
    ... It provides powerful flow control for slightly less overhead ... So maybe you could reverse the flow of arguments and first tell us ... flows remaining until you reach a structured exit. ... and wherever it starts getting snarled you can do a LOB like ...
    (comp.lang.forth)
  • Re: R> DROP in GForth
    ... It provides powerful flow control for slightly less overhead ... So maybe you could reverse the flow of arguments and first tell us ... flows remaining until you reach a structured exit. ... and wherever it starts getting snarled you can do a LOB like ...
    (comp.lang.forth)
  • Re: Real life cost of using exceptions for control flow?
    ... > I know that my view may seem a bit extreme, but it actually works very well. ... > yourself from using exception for flow control. ... I am not at all against throwing exceptions. ...
    (microsoft.public.dotnet.framework.performance)
  • Re: Problem with a fan controling by the inverter ;/
    ... I've got, I believe, an easy problem that I can't solve;/ My situation look like this: an air flow through the fan is controlled now by the guide ring. ... I need to change control by the guide ring on inverter connected with the fan. ... Whether you have a fan running at fixed drive with the airflow controlled by an orifice or a fixed orifice with the airflow controlled by the fan drive you're still controlling pressure and flow simultaneously. ...
    (sci.engr.control)
  • Re: Need help analyzing a circuit
    ... >> The darlington minimizes current flow into the opamp for control. ... > something that is talked about in the data sheets for the 734 OPAMP? ... the issue I was referring to is current leakage for control. ...
    (sci.electronics.basics)