Sciweavers

Share
ICFP
2007
ACM

Experience report: the reactis validation tool

9 years 11 months ago
Experience report: the reactis validation tool
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a commercial product has led us to the conclusion that while functional languages have some disadvantages, in the case of Reactis the benefits of a functional language substantially outweigh the drawbacks.
Steve Sims, Daniel C. DuVarney
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where ICFP
Authors Steve Sims, Daniel C. DuVarney
Comments (0)
books