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.
- 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 Scholar
- 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 Scholar
Digital Library
- Matthias Blume. Cm: The sml/nj compilation and library manager, user manual, May 2002. Distributed with SML/NJ since version 110.20.Google Scholar
- Matthias Blume. Dependency analysis for standard ml. ACM Transactions on Programming Languages and Systems, 21(4), July 1999. Google Scholar
Digital Library
- Matthias Blume. No-longer-foreign: Teaching an ml compiler to speak c "natively". Electronic Notes in Theoretical Computer Science, 59(1), 2001.Google Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231--274, June 1987. Google Scholar
Digital Library
- Mlton standard ml compiler. http://www.mlton.org/.Google Scholar
- Standard ml of new jersey. http://www.smlnj.org/.Google Scholar
- wxwidgets: Cross-platform gui library. http://www.wxwidgets.orgGoogle Scholar
Index Terms
Experience report: the reactis validation tool
Recommendations
Experience report: the reactis validation tool
ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programmingReactis 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 ...
Developing a monadic type checker for an object-oriented language: an experience report
SLE 2019: Proceedings of the 12th ACM SIGPLAN International Conference on Software Language EngineeringFunctional programming languages are well-suited for developing compilers, and compilers for functional languages are often themselves written in a functional language. Functional abstractions, such as monads, allow abstracting away some of the ...
Status report: specifying javascript with ML
ML '07: Proceedings of the 2007 workshop on Workshop on MLThe Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applications. This "definitional interpreter" serves many purposes: a high-level and ...







Comments