Re: Question About GNU General Public License

[Alexander Terekhov]

David Kastrup wrote:
[...]
> > Each "statements or instruction" has a functional specification that
> > defines what shall be done (preconditions, effect, postcondition,
> > failure modes/"throws", etc.). The end result is certain. How can
> > you verify a program without libraries?
> >
> > Some people can.
> 
> And that means you can do without the libraries when trying "to bring
> about a certain result"?

That means that the copyright status of a "computer program" is 
unaffected by whetever libraries-or-whatnot -- implementation of 
"statements or instructions". Read up something on the AFC test.

regards,
alexander.