[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Question About GNU General Public License

From: Alexander Terekhov
Subject: Re: Question About GNU General Public License
Date: Tue, 13 Jul 2004 15:34:56 +0200

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]