mode inference package for C-prolog

Article View: comp.lang.prolog

Article #970

#970

From: Ronen Feldman
Date: Thu, 12 Jul 1990 17:25

8 lines
648 bytes

I'm looking for well documented package that can perform static mode
inference to prolog programs. 
If anybody has such a package that he/she is willing to share please
send me email.

Thanks

Ronen Feldman (feldman@cs.cornell.edu)

Technical Details

Message-ID: <43248@cornell.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!uwm.edu!rpi!batcomputer!cornell!feldman

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!uwm.edu!rpi!batcomputer!cornell!feldman
From: feldman@flute.cs.cornell.edu (Ronen Feldman)
Newsgroups: comp.lang.prolog
Subject: mode inference package for C-prolog
Message-ID: <43248@cornell.UUCP>
Date: 12 Jul 90 17:25:43 GMT
Sender: nobody@cornell.UUCP
Reply-To: feldman@cs.cornell.edu (Ronen Feldman)
Organization: Cornell Univ. CS Dept, Ithaca NY
Lines: 8