Domain Analysis for Prolog Programs

Article View: comp.lang.prolog

Article #37

#37

From: Benjamin Yu
Date: Mon, 02 Nov 1992 15:44

9 lines
715 bytes

Can anyone direct me to recent work on domain analysis of Prolog programs,
specifically, given a Prolog program, how can I go about determining the
domain each argument of a predicate may take on?  I would like to be able
to determine more than just the type of each argument but, if possible, the
range of values, eg. list of length no greater than n, all positive
integers, etc..

Thanks!
Benjamin Yu

Technical Details

Message-ID: <1992Nov2.104409.18452@jarvis.csri.toronto.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!utcsri!sys.toronto.edu!byu

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!utcsri!sys.toronto.edu!byu
Newsgroups: comp.lang.prolog
From: byu@sys.toronto.edu (Benjamin Yu)
Subject: Domain Analysis for Prolog Programs
Message-ID: <1992Nov2.104409.18452@jarvis.csri.toronto.edu>
Organization: University of Toronto
Date: 2 Nov 92 15:44:09 GMT
Lines: 9