Re: Question About GNU General Public License

[David Kastrup]

Alexander Terekhov <terekhov@web.de> writes:

> 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.

Tell that to the courts.  They have decided that even deep linking to
web pages can constitute copyright infringement.  And I find the
process of extracting HTML anchors from a top document rather
comparable to extracting and using symbol table information in the
course of linking.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum