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
_______________________________________________ Cvs-ghc mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/cvs-ghc
