I can't think of any Haskell papers about ``formal methods'' in software engineering, but many papers and books talk about proving program correctness, which is difficult in traditional, imperative languages (which is why it is probably not stressed as much as //testing// is in formal software methods). Paul Hudak, in the textbook, The Haskell School of Expression (http://www.amazon.com/gp/product/0521644089/104-7074974-5852762?v=glance&n=2...) writes a lot about proving program correctness (especially induction on recursive algorithms) for Haskell and purely functional programs, reasoning mathematically. If you want to do strenuous testing, you can use "QuickCheck: Automatic Specification-Based Testing": http://www.cs.chalmers.se/~rjmh/QuickCheck/ A professor I had at Caltech researches formal methods in constructing reliable software systems, specifically using robust programming language and compiler technology (in this case OCaml). http://mojave.caltech.edu/ Jared. On 1/14/06, Abigail <asho19@yahoo.com> wrote:
Hi, I have been searching papers about tha raltionship between formal methods in software engineering and functinal programmming, but i haven't found enough information. can u hel me?. Thanks Abigail.
__________________________________________________ Correo Yahoo! Espacio para todos tus mensajes, antivirus y antispam ¡gratis! Regístrate ya - http://correo.espanol.yahoo.com/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- jupdike@gmail.com http://www.updike.org/~jared/ reverse ")-:"