Guessing the Data Set to a Function

Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED!nerds-end
From	Seima Rao <seimarao@gmail.com>
Newsgroups	comp.compilers
Subject	Guessing the Data Set to a Function
Date	Sun, 15 Sep 2013 15:29:01 +0530
Organization	Compilers Central
Lines	29
Sender	johnl@iecc.com
Approved	comp.compilers@iecc.com
Message-ID	<13-09-005@comp.compilers> (permalink)
NNTP-Posting-Host	news.iecc.com
Mime-Version	1.0
Content-Type	text/plain; charset=ISO-8859-1
X-Trace	leila.iecc.com 1379255400 49109 64.57.183.58 (15 Sep 2013 14:30:00 GMT)
X-Complaints-To	abuse@iecc.com
NNTP-Posting-Date	Sun, 15 Sep 2013 14:30:00 +0000 (UTC)
Keywords	analysis, question
Posted-Date	15 Sep 2013 10:30:00 EDT
X-submission-address	compilers@iecc.com
X-moderator-address	compilers-request@iecc.com
X-FAQ-and-archives	http://compilers.iecc.com
Xref	csiph.com comp.compilers:966

Show key headers only | View raw

Hi,

    I have a problem with deducing the Data Set to a function written in
    a High Level Language.

    I feel that the compiler is well equipped to do so, therefore I am
    posting my questions to this forum.

    Given a procedure/function in HLL(say, 'C') as an input, I want the
    compiler to deduce the data set corresponding to the
    parameters to the function.

    I see three cases:

        a) Shortest Path Executed By the Function

        b) Average Path Executed By the Function

        c) Longest Path Executed By the Function

     Obviously, All three depend upon the compiler
     being able to correctly guess the data set
     corresponding to the function's parameters.

     My question is whether this is possible or/and
     specifically, how to tell the Average path.

Sincerely,
Seima Rao.

Back to comp.compilers | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Guessing the Data Set to a Function Seima Rao <seimarao@gmail.com> - 2013-09-15 15:29 +0530
  Re: Guessing the Data Set to a Function George Neuner <gneuner2@comcast.net> - 2013-09-16 03:56 -0400

csiph-web