[SystemSafety] Correctness by Construction
paul_e.bennett at topmail.co.uk
paul_e.bennett at topmail.co.uk
Wed Jul 15 18:36:36 CEST 2020
On 7/15/2020 at 4:09 PM, "Olwen Morgan" <olwen at phaedsys.com> wrote:
>
>> It's not obvious to me that it is even theoretically possible.
>
>A whimsical thought-provoker on this theoretical possibility:
>Below is a
>quine, a program that does not read any external file but
>nevertheless
>prints its own source text.
>
>
>eval s="print 'eval s=';p s"
The shortest one I know of is:-
source type
That is in Forth of course. :)
Regards
Paul E. Bennett IEng MIET
Systems Engineer
Lunar Mission One Ambassador
--
********************************************************************
Paul E. Bennett IEng MIET.....
Forth based HIDECS Consultancy.............
Mob: +44 (0)7811-639972
Tel: Due to relocation - new number TBA. Please use Mobile.
Going Forth Safely ..... EBA. www.electric-boat-association.org.uk..
********************************************************************
More information about the systemsafety
mailing list