|
Authored by: Wol on Saturday, February 02 2013 @ 04:14 PM EST |
I'd agree.
A formal specification, and a program, is just a function with subfunctions
going down ... the difference is the syntax and the level of detail.
So no a formal specification isn't guaranteed to work (as written) because it
may contain bugs, but I'd say it's (supposedly) the same as a program. After
all, the formal specification of a bubble sort could be
loop from first to last
loop from current to second
if current is less than the one above then swap else terminate inner loop
end loop
end loop
end function
What's left is just journeyman work for a craftsman programmer - those
instructions are more than sufficient to implement the sort in any procedural
language. And maybe others too ... that should be plenty sufficient for a patent
(and to prove that it's maths, too :-)
Cheers,
Wol[ Reply to This | Parent | # ]
|
|
|
|
|