[Haskell-cafe] A static analyzer

[Brent Yorgey]

Do you have specific questions, or something you are stuck on?  Maybe you
accidentally sent the message before you finished writing it?  People on
this list aren't going to do your homework for you.  If you have no idea
how to even start, you should go talk to the course instructor or teaching
assistant.

+Brent

On Thu, Feb 20, 2020, 2:28 PM Eirik Ravnskog <eirik.ravnskog92 at gmail.com>
wrote:

> Hi. I have a homework-assignment where one of the tasks is to make a
> static Analyzer for BIPL-E, BIPL-E being the BIPL Language with input- and
> output-parameters.
>
> The Analyzer is supposed to
>
>    1. check that all variables has been defined before use. If not, give
>    an error message.
>
> You can do this by traversing each statement in the program to check if it
> uses values that
>
> haven’t been defined before. You can keep track of which variables that
> has been defined so far in a list, and put new ones to the list when you
> encounter Assign-statements
>
>    1. check that all output parameters have been given a value when the
>    program has ended
>    2. You don’t care about what the different statements really evaluates
>    to .
>
>
>
> As a start:
>
>
>
> static_analyzer :: BIPLE -> ..
>
> ..
>
>
>
> Best regards,
>
> Eirik
>
>
>
> Sendt fra E-post <https://go.microsoft.com/fwlink/?LinkId=550986> for
> Windows 10
>
>
>
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20200220/61cb5386/attachment.html>