International Conference on Functional Programming: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming : Freiburg, Germany; 01-03 Oct. 2007, 2007, p.137-140
2007
Details
- Autor(en) / Beteiligte
- Titel
- Experience report: the reactis validation tool
- Ist Teil von
- International Conference on Functional Programming: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming : Freiburg, Germany; 01-03 Oct. 2007, 2007, p.137-140
- Ort / Verlag
- New York, NY, USA: ACM
- Erscheinungsjahr
- 2007
- Link zum Volltext
- Quelle
- ACM Digital Library
- Beschreibungen/Notizen
- 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.
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9781595938152, 159593815XISSN: 0362-1340eISSN: 1558-1160DOI: 10.1145/1291151.1291172Titel-ID: cdi_proquest_miscellaneous_31703230