Experience report: The reactis validation tool

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2007, Pages 137-140

  Sims, Steve ^a   Duvarney, Daniel C ^a  

^a Reactive Systems Inc

Author keywords

Functional programming; Reactis; SML; Standard ML

Indexed keywords

FUNCTIONAL LANGUAGES; REACTIS; SML; STANDARD ML;

COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; SOFTWARE TESTING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 38849108017     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291151.1291172     Document Type: Conference Paper

References (12)

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.
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.
3. Matthias Blume. Cm: The sml/nj compilation and library manager, user manual, May 2002. Distributed with SML/NJ since version 1.10.20.
4. Matthias Blume. Dependency analysis for standard ml. ACM Transactions on Programming Languages and Systems, 21(4), July 1999.
5. Matthias Blume. No-longer-foreign: Teaching an ml compiler to speak, c "natively". Electronic Notes in Theoretical Computer Science, 59(1), 2001.
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.
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.
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.
9. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
10. Mlton standard ml compiler, http://www.mlton.org/.
11. Standard ml of new jersey, http://www.smlnj.org/.
12. wxwidgets: Cross-platform gui library. http://www.wxwidgets.org/.