home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.patents
- Path: sparky!uunet!cs.utexas.edu!uwm.edu!rpi!batcomputer!munnari.oz.au!metro!basser.cs.su.oz.au!news
- From: eggert@twinsun.com (Paul Eggert)
- Subject: [INFO] Software Patents: An Example of the Threat
- Organization: Twin Sun, Inc
- Date: Wed, 6 Jan 1993 01:04:02 GMT
- Approved: patents@cs.su.oz.au
- Message-ID: <1993Jan12.091330.29347@cs.su.oz.au>
- X-Newsreader: NN version 6.4.19
- Sender: usenet@twinsun.com
- Nntp-Posting-Host: farside
- Lines: 14
-
- comp.patents readers might find the following article of interest.
-
- Paul W Abrahams
- Software Patents: An Example of the Threat
- ACM SIGPLAN Notices 27, 8 (August 1992), 87-88
-
- It briefly discusses US patent #4,992,971, issued 12 February 1991 to
- K. Hayashi of Tokyo and assigned to NEC. This patent covers the
- obvious technique for verifying at link time that a call to a
- separately compiled procedure matches the procedure's definition.
- (The method is to check that the number of arguments matches,
- and then to check that the attributes of each invocation argument
- matches the attributes of the corresponding procedure parameter.)
-
-