[SystemSafety] proofs

[Peter Bernard Ladkin]

Paul,

how is what you envisage different from strong typing + pre-/postconditions?
(The example you give fits that description.)

On 2018-11-23 12:42 , paul_e.bennett at topmail.co.uk wrote:
> 
> At the very minimum it would declare the expected inputs and expected
> output data items (along with what they represent), a note of the type of
> transformation performed on the data items, the cell-width and style of
> machine resource required. Then the limitations beyond which the
> correct functionality is not guaranteed.

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20181123/165817fa/attachment.sig>