{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:37Z","timestamp":1772163937183,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1145\/1291151.1291172","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T08:51:38Z","timestamp":1192351898000},"page":"137-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Experience report"],"prefix":"10.1145","author":[{"given":"Steve","family":"Sims","sequence":"first","affiliation":[{"name":"Reactive Systems Inc., Falls Church, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel C.","family":"DuVarney","sequence":"additional","affiliation":[{"name":"Reactive Systems Inc., Falls Church, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Third International Symposium on Programming Language Implementation and Logic Programming","author":"Appel Andrew W.","year":"1991","unstructured":"Andrew W. Appel and David B . MacQueen. Standard ml of new jersey . In J. Maluszy\u0144ski 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 . Andrew W. Appel and David B. MacQueen. Standard ml of new jersey. In J. Maluszy\u0144ski 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."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646484.691774"},{"key":"e_1_3_2_1_3_1","volume-title":"May","author":"Blume Matthias","year":"2002","unstructured":"Matthias Blume . Cm: The sml\/nj compilation and library manager, user manual , May 2002 . Distributed with SML\/NJ since version 110.20. Matthias Blume. Cm: The sml\/nj compilation and library manager, user manual, May 2002. Distributed with SML\/NJ since version 110.20."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325481"},{"key":"e_1_3_2_1_5_1","volume-title":"No-longer-foreign: Teaching an ml compiler to speak c \"natively\". Electronic Notes in Theoretical Computer Science, 59(1)","author":"Blume Matthias","year":"2001","unstructured":"Matthias Blume . No-longer-foreign: Teaching an ml compiler to speak c \"natively\". Electronic Notes in Theoretical Computer Science, 59(1) , 2001 . Matthias Blume. No-longer-foreign: Teaching an ml compiler to speak c \"natively\". Electronic Notes in Theoretical Computer Science, 59(1), 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Henry\n      Cejtin Suresh\n      Jagannathan and \n      Stephen\n      Weeks\n    .\n  Flow-directed closure conversion for typed languages\n  . In Gert Smolka editor 9th European Symposium on Programming (ESOP) volume \n  1782\n   of \n  Lecture Notes in Computer Science pages \n  56\n  --\n  71\n  . \n  Springer 2000\n  .   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.","DOI":"10.1007\/3-540-46425-5_4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/151646.151648"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Rance\n      Cleaveland Philip M.\n      Lewis Scott A.\n      Smolka and \n      Oleg\n      Sokolsky\n    .\n  The concurrency factory: A development environment for concurrent systems\n  . In R. Alur and T. Henzinger editors Computer-Aided Verification (CAV) volume \n  1102\n   of \n  Lecture Notes in Computer Science pages \n  398\n  --\n  401 New Brunswick NJ July \n  1996\n  . \n  Springer-Verlag\n  .   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.","DOI":"10.1007\/3-540-61474-5_88"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_10_1","unstructured":"Mlton standard ml compiler. http:\/\/www.mlton.org\/.  Mlton standard ml compiler. http:\/\/www.mlton.org\/."},{"key":"e_1_3_2_1_11_1","unstructured":"Standard ml of new jersey. http:\/\/www.smlnj.org\/.  Standard ml of new jersey. http:\/\/www.smlnj.org\/."},{"key":"e_1_3_2_1_12_1","unstructured":"wxwidgets: Cross-platform gui library. http:\/\/www.wxwidgets.org  wxwidgets: Cross-platform gui library. http:\/\/www.wxwidgets.org"}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","location":"Freiburg Germany","acronym":"ICFP07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 12th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291172","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291151.1291172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:26Z","timestamp":1750243946000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291172"}},"subtitle":["the reactis validation tool"],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":12,"alternative-id":["10.1145\/1291151.1291172","10.1145\/1291151"],"URL":"https:\/\/doi.org\/10.1145\/1291151.1291172","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1291220.1291172","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10]]},"assertion":[{"value":"2007-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}