[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: What do you think about the use of category theory for specifications?
From
: fl <
freder...@xxxxxxxxxxx
>
Date
: Fri, 16 Oct 2015 03:53:28 -0700 (PDT)
Cc
:
zans....@xxxxxxxxxxxxxx
References
: <
a97c6b33-de29-473f-9515-42b70064a28c@googlegroups.com
> <
44d35dc7-4b80-4bbe-81f9-548b310987d6@googlegroups.com
> <
c114771f-f15e-4373-9501-f706bf38dbd7@googlegroups.com
> <
53a88485-bf93-4b8b-88cf-ed32eb78d5a7@googlegroups.com
> <
85b32257-a19e-412f-ac29-0a435dcfad8d@googlegroups.com
>
To specify or to prove?
By specifying I mean giving the preconditions and postconditions of your functions not giving
a sketch of your algorithm.
--
FL
References
:
What do you think about the use of category theory for specifications?
From:
zans . . . .
Re: What do you think about the use of category theory for specifications?
From:
fl
Re: What do you think about the use of category theory for specifications?
From:
fl
Re: What do you think about the use of category theory for specifications?
From:
zans . . . .
Re: What do you think about the use of category theory for specifications?
From:
fl
Prev by Date:
Re: What do you think about the use of category theory for specifications?
Next by Date:
TLAPS-proved invariant violated in TLC?
Previous by thread:
Re: What do you think about the use of category theory for specifications?
Next by thread:
RECURSIVE as a forward declaration
Index(es):
Date
Thread