Re: Self-modifying code, Function pointers & { Safety, Security}

From	Stefan Monnier <monnier@iro.umontreal.ca>
Newsgroups	comp.compilers
Subject	Re: Self-modifying code, Function pointers & { Safety, Security}
Date	2014-04-16 09:18 -0400
Organization	A noiseless patient Spider
Message-ID	<14-04-014@comp.compilers> (permalink)
References	<14-03-015@comp.compilers> <14-03-052@comp.compilers> <14-04-012@comp.compilers>

Show all headers | View raw

> Tha halting problem is solvable for linearly bounded automata.

The halting problem is also trivially solvable for languages such as
Coq and Agda: in those languages, all functions terminate.  Of course,
they may take centuries to run to completion, so knowing that they
will eventually terminate may not be nearly as useful as one might
think.

        Stefan

Back to comp.compilers | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Self-modifying code, Function pointers & { Safety, Security} Seima Rao <seimarao@gmail.com> - 2014-03-07 21:34 +0530
  Re: Self-modifying code, Function pointers & { Safety, Security} Kaz Kylheku <kaz@kylheku.com> - 2014-03-09 20:36 +0000
    Re: Self-modifying code, Function pointers & { Safety, Security} Terrence Enger <tenger@iseries-guru.com> - 2014-03-15 09:29 -0400
  Re: Self-modifying code, Function pointers & { Safety, Security} Martin Ward <martin@gkc.org.uk> - 2014-03-14 14:15 +0000
  Re: Self-modifying code, Function pointers & { Safety, Security} seimarao@gmail.com - 2014-03-20 00:42 -0700
    Re: Self-modifying code, Function pointers & { Safety, Security} federation2005@netzero.com - 2014-04-13 12:41 -0700
      Re: Self-modifying code, Function pointers & { Safety, Security} Stefan Monnier <monnier@iro.umontreal.ca> - 2014-04-16 09:18 -0400

csiph-web