skip to main content
article

Experience report: the reactis validation tool

Published:01 October 2007Publication History
Skip Abstract Section

Abstract

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.

References

  1. Andrew W. Appel and David B. MacQueen. Standard ml of new jersey. In J. Maluszyński and M. Wirsing, editors, Third International Symposium on Programming Language Implementation and Logic Programming, volume 528 of Lecture Notes in Computer Science, pages 1--13. Springer Verlag, 1991.Google ScholarGoogle Scholar
  2. Ramesh Bharadwaj and Steve Sims. Combining constraint solvers with bdds for automatic invariant checking. In 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 1785 of Lecture Notes in Computer Science, pages 378--394, Berlin, April 2000. Springer-Verlag. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Matthias Blume. Cm: The sml/nj compilation and library manager, user manual, May 2002. Distributed with SML/NJ since version 110.20.Google ScholarGoogle Scholar
  4. Matthias Blume. Dependency analysis for standard ml. ACM Transactions on Programming Languages and Systems, 21(4), July 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Matthias Blume. No-longer-foreign: Teaching an ml compiler to speak c "natively". Electronic Notes in Theoretical Computer Science, 59(1), 2001.Google ScholarGoogle Scholar
  6. Henry Cejtin, Suresh Jagannathan, and Stephen Weeks. Flow-directed closure conversion for typed languages. In Gert Smolka, editor, 9th European Symposium on Programming (ESOP), volume 1782 of Lecture Notes in Computer Science, pages 56--71. Springer, 2000. Google ScholarGoogle Scholar
  7. Rance Cleaveland, Joachim Parrow, and Bernhard Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15 (1):36--72, January 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, and Oleg Sokolsky. The concurrency factory: A development environment for concurrent systems. In R. Alur and T. Henzinger, editors, Computer-Aided Verification (CAV), volume 1102 of Lecture Notes in Computer Science, pages 398--401, New Brunswick, NJ, July 1996. Springer-Verlag. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231--274, June 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Mlton standard ml compiler. http://www.mlton.org/.Google ScholarGoogle Scholar
  11. Standard ml of new jersey. http://www.smlnj.org/.Google ScholarGoogle Scholar
  12. wxwidgets: Cross-platform gui library. http://www.wxwidgets.orgGoogle ScholarGoogle Scholar

Index Terms

  1. Experience report: the reactis validation tool

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM SIGPLAN Notices
      ACM SIGPLAN Notices  Volume 42, Issue 9
      Proceedings of the ICFP '07 conference
      September 2007
      331 pages
      ISSN:0362-1340
      EISSN:1558-1160
      DOI:10.1145/1291220
      Issue’s Table of Contents
      • cover image ACM Conferences
        ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
        October 2007
        346 pages
        ISBN:9781595938152
        DOI:10.1145/1291151

      Copyright © 2007 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 October 2007

      Check for updates

      Qualifiers

      • article

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!