New to ghc ; flow analysis ; mathematical simulator

[Craig Ugoretz]

Hello,

     First of all, I am new to Haskell, GHC, and compilers in general.  I am
also new to HETS, which is, as far as I understand, a system that includes
an algebraic specification language that supports Haskell (HASCASL).  I have
a project idea in mind that is quite involved and I am sure will take a
longer period of time to accumluate the skills for and accomplish on my
own.

     Initially, it involves stating mathematical definitions and proving
mathematical theorems in HASCASL and verifying a library of Haskell code per
those specifications.

     By way of extension, I want to create a simulation environment based
on a particular mathematical library that I have in mind to implement, but
flexible enough to accomodate any mathematical library without I/O.  Users
specify in the simulation envinronement which theorem they want to input
information into, and intermediate code from ghc is used for flow analysis
such that a GUI is "compiled" so that users can handily input formation to
satisfy the free variables, if I am using the correct term, in the theorem
being simulated.  I also want users to be able to specify "runs of signals"
that can be supplied to the simulation through the compiled GUI.

     I realize I have stated the research problem in general terms, but, if
the explanation suffices, would users of this group be able to comment on
the feasbility of this approach and the utility of the overall solution?


Sincerely,

Craig
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org//pipermail/cvs-ghc/attachments/20060824/5a91bd08/attachment.htm