Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.compilers > #1221
| Path | csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!news-out.readnews.com!news-xxxfer.readnews.com!news.misty.com!news.iecc.com!.POSTED!nerds-end |
|---|---|
| From | Stefan Monnier <monnier@iro.umontreal.ca> |
| Newsgroups | comp.compilers |
| Subject | Re: Self-modifying code, Function pointers & { Safety, Security} |
| Date | Wed, 16 Apr 2014 09:18:24 -0400 |
| Organization | A noiseless patient Spider |
| Lines | 9 |
| Sender | news@iecc.com |
| Approved | comp.compilers@iecc.com |
| Message-ID | <14-04-014@comp.compilers> (permalink) |
| References | <14-03-015@comp.compilers> <14-03-052@comp.compilers> <14-04-012@comp.compilers> |
| NNTP-Posting-Host | news.iecc.com |
| Mime-Version | 1.0 |
| Content-Type | text/plain |
| X-Trace | miucha.iecc.com 1397654535 20862 2001:470:1f07:1126:0:676f:7373:6970 (16 Apr 2014 13:22:15 GMT) |
| X-Complaints-To | abuse@iecc.com |
| NNTP-Posting-Date | Wed, 16 Apr 2014 13:22:15 +0000 (UTC) |
| Keywords | theory |
| Posted-Date | 16 Apr 2014 09:22:15 EDT |
| X-submission-address | compilers@iecc.com |
| X-moderator-address | compilers-request@iecc.com |
| X-FAQ-and-archives | http://compilers.iecc.com |
| Xref | csiph.com comp.compilers:1221 |
Show key headers only | 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
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