[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.
regards,
alexander.
- Re: Question About GNU General Public License, (continued)
- Re: Question About GNU General Public License, Isaac, 2004/07/13
- Re: Question About GNU General Public License, David Kastrup, 2004/07/13
- Re: Question About GNU General Public License, Isaac, 2004/07/13
- Re: Question About GNU General Public License, Rui Miguel Seabra, 2004/07/13
- Message not available
- Re: Question About GNU General Public License, Alexander Terekhov, 2004/07/13
- Re: Question About GNU General Public License, David Kastrup, 2004/07/13
- Re: Question About GNU General Public License, Alexander Terekhov, 2004/07/13
- Re: Question About GNU General Public License, David Kastrup, 2004/07/13
- Re: Question About GNU General Public License,
Alexander Terekhov <=
- Re: Question About GNU General Public License, David Kastrup, 2004/07/13
- Re: Question About GNU General Public License, Rui Miguel Seabra, 2004/07/13
- Re: Question About GNU General Public License, Alexander Terekhov, 2004/07/13
- Re: Question About GNU General Public License, Isaac, 2004/07/13
- Re: Question About GNU General Public License, Alexander Terekhov, 2004/07/14
- Re: Question About GNU General Public License, Rui Miguel Seabra, 2004/07/13
- Message not available
- Re: Question About GNU General Public License, telford, 2004/07/18
- Re: Question About GNU General Public License, Rui Miguel Seabra, 2004/07/18
- Message not available
- Re: Question About GNU General Public License, telford, 2004/07/18
- Re: Question About GNU General Public License, Rui Miguel Seabra, 2004/07/18