Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #85307
| From | Mr Flibble <flibble@reddwarf.jmc.corp> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c++ |
| Subject | Halting Problem: sNaP |
| Message-ID | <20220715232043.000047dc@reddwarf.jmc.corp> (permalink) |
| Organization | Jupiter Mining Corporation |
| Date | 2022-07-15 23:20 +0100 |
Cross-posted to 2 groups.
I hereby introduce the sNaP, the "signaling Not a Program" exception to be raised in the event a [Strachey 1965] "Impossible Program" is passed to a signaling halt decider. The sNaP is analogous to the sNaN of IEEE 754 floating point to signify the result of a mathematical operation is undefined. As an added bonus "sNaP" is quite catchy. :D Copyright 2022 Mr Flibble
Back to comp.lang.c++ | Previous | Next — Next in thread | Find similar | Unroll thread
Halting Problem: sNaP Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-07-15 23:20 +0100 Re: Halting Problem: sNaP olcott <NoOne@NoWhere.com> - 2022-07-15 17:30 -0500
csiph-web