[Top][All Lists]

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

Re: Question About GNU General Public License

From: David Kastrup
Subject: Re: Question About GNU General Public License
Date: 13 Jul 2004 15:57:11 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3.50

Alexander Terekhov <> 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

reply via email to

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