[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