{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:24Z","timestamp":1750307544139,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,9,5]],"date-time":"2009-09-05T00:00:00Z","timestamp":1252108800000},"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":[[2009,9,5]]},"DOI":"10.1145\/1596600.1596604","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T12:53:09Z","timestamp":1252414389000},"page":"23-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Automatic assessment of failure recovery in Erlang applications"],"prefix":"10.1145","author":[{"given":"Jan Henry","family":"Nystr\u00f6m","sequence":"first","affiliation":[{"name":"Erlang Training and Consulting, Uppsala, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,9,5]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"crossref","unstructured":"G.\n       \n      Agrawal\n    .\n      \n  \n   \n  Demand-driven construction of call graphs. In D.A. Watt editor Proceedings of the 9th International Conference on Compiler Construction (CC'00) volume \n  1781\n   of \n  Lecture Notes in Computer Science pages \n  125\n  -\n  140\n  . \n  Springer-Verlag 2000\n  .   G. Agrawal. Demand-driven construction of call graphs. In D.A. Watt editor Proceedings of the 9th International Conference on Compiler Construction (CC'00) volume 1781 of Lecture Notes in Computer Science pages 125-140. Springer-Verlag 2000.","DOI":"10.1007\/3-540-46423-9_9"},{"volume-title":"Aachen University of Technology","year":"2002","author":"Amiranashvili V.","key":"e_1_3_2_2_2_1"},{"key":"e_1_3_2_2_3_1","unstructured":"J. Armstrong R. Virding C. Wikstr\u00f6m and M. Williams. Concurrent Programming in ERLANG. Prentice Hall 2nd edition 1996.   J. Armstrong R. Virding C. Wikstr\u00f6m and M. Williams. Concurrent Programming in ERLANG. Prentice Hall 2nd edition 1996."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"crossref","unstructured":"T.\n       \n      Arts\n     and \n      \n      \n      M.\n       \n      Dam\n      \n  \n  . \n  Verifying a distributed database lookup manager written in erlang. In J.M. Wing J. Woodcock and J. Davies editors FM'99- Formal Methods Volume \n  I Proceedings of the 1st World Congress on Formal Methods in the Development of Computing Systems (FM'99) volume \n  1708\n   of \n  Lecture Notes in Computer Science pages \n  682\n  -\n  700\n  . \n  Springer-Verlag 1999\n  .   T. Arts and M. Dam. Verifying a distributed database lookup manager written in erlang. In J.M. Wing J. Woodcock and J. Davies editors FM'99- Formal Methods Volume I Proceedings of the 1st World Congress on Formal Methods in the Development of Computing Systems (FM'99) volume 1708 of Lecture Notes in Computer Science pages 682-700. Springer-Verlag 1999.","DOI":"10.1007\/3-540-48119-2_38"},{"volume-title":"Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'01)","year":"2001","author":"Arts T.","key":"e_1_3_2_2_5_1"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"crossref","unstructured":"T.\n       \n      Arts\n     and \n      \n      \n      J.\n       \n      Giesl\n      \n  \n  . \n  Automatically proven termination where simplification orderings fail. In M. Bidoit and M. Dauchet editors Proceedings of TAPSOFT: 7th International Joint Conference on Theory and Practise of Software Development volume \n  1214\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer-Verlag 1997\n  .   T. Arts and J. Giesl. Automatically proven termination where simplification orderings fail. In M. Bidoit and M. Dauchet editors Proceedings of TAPSOFT: 7th International Joint Conference on Theory and Practise of Software Development volume 1214 of Lecture Notes in Computer Science . Springer-Verlag 1997.","DOI":"10.1007\/BFb0030602"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"crossref","unstructured":"T.\n       \n      Arts\n     and \n      \n      \n      T.\n       \n      Noll\n      \n  \n  . \n  Verifying generic erlang client-server implementations. In M. Mohnen and P. Koopman editors Proceedings of the 12th International Workshop on the Implementation of Functional Languages (IFL'00) volume \n  2011\n   of \n  Lecture Notes in Computer Science pages \n  37\n  -\n  52\n  . \n  Springer-Verlag 2001\n  .   T. Arts and T. Noll. Verifying generic erlang client-server implementations. In M. Mohnen and P. Koopman editors Proceedings of the 12th International Workshop on the Implementation of Functional Languages (IFL'00) volume 2011 of Lecture Notes in Computer Science pages 37-52. Springer-Verlag 2001.","DOI":"10.1007\/3-540-45361-X_3"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/3049063.3049093"},{"volume-title":"In Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004)","year":"2004","author":"Arts T.","key":"e_1_3_2_2_9_1"},{"key":"e_1_3_2_2_10_1","unstructured":"J. Barklund and R. Virding. Erlang 4.7.3 reference manual draft (0.7). Ericsson Computer Science Laboratory www.erlang.org\/download\/erl_spec47.ps.gz 1999.  J. Barklund and R. Virding. Erlang 4.7.3 reference manual draft (0.7). Ericsson Computer Science Laboratory www.erlang.org\/download\/erl_spec47.ps.gz 1999."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(98)00282-7"},{"key":"e_1_3_2_2_12_1","volume-title":"Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01)","volume":"2102","author":"Blom S.","year":"2001"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82552-6"},{"volume-title":"Proceedings of PLI'01 Erlang Workshop","year":"2001","author":"Carlsson R.","key":"e_1_3_2_2_14_1"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146809.1146813"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088361.1088376"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"crossref","unstructured":"Manuel\n       \n      Clavel Francisco\n       \n      Dur\u00e1n Steven\n       \n      Eker Patrick\n       \n      Lincoln Narciso\n       \n      Mart\u00ed-Oliet Jos\u00e9\n       \n      Meseguer and \n      \n      \n      Carolyn\n       \n      Talcott\n    .\n      \n  \n   \n  The maude 2.0 system. In Robert Nieuwenhuis editor Rewriting Techniques and Applications (RTA\n   \n  2003\n  ) number 2706 in \n  Lecture Notes in Computer Science pages \n  76\n  -\n  87\n  . \n  Springer-Verlag June 2003.   Manuel Clavel Francisco Dur\u00e1n Steven Eker Patrick Lincoln Narciso Mart\u00ed-Oliet Jos\u00e9 Meseguer and Carolyn Talcott. The maude 2.0 system. In Robert Nieuwenhuis editor Rewriting Techniques and Applications (RTA 2003) number 2706 in Lecture Notes in Computer Science pages 76-87. Springer-Verlag June 2003.","DOI":"10.1007\/3-540-44881-0_7"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/332740.332741"},{"key":"e_1_3_2_2_20_1","unstructured":"OTP Documentation. Ericsson Utvecklings AB 2000.  OTP Documentation . Ericsson Utvecklings AB 2000."},{"key":"e_1_3_2_2_21_1","volume-title":"Proceedings of the 8th International Conference on Computer Aided Verification (CAV'96)","volume":"1102","author":"Fernandez J.-C.","year":"2000"},{"volume-title":"Royal Institute of Technology","year":"2001","key":"e_1_3_2_2_22_1"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159793"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291171"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100071"},{"issue":"1","key":"e_1_3_2_2_26_1","first-page":"39","article-title":"Verification of erlang processes by dependency pairs. Journal of Applicable Algebra in Engineering","volume":"12","author":"Giesl J.","year":"2001","journal-title":"Communication and Computing"},{"volume-title":"Addison-Wesley","year":"1996","author":"Gosling J.","key":"e_1_3_2_2_27_1"},{"volume-title":"Prentice-Hall International","year":"1991","author":"Holzmann G.J.","key":"e_1_3_2_2_28_1"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672083"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/bltj.2223"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317908"},{"volume-title":"Proceedings of the 10th International Workshop on Functional and Logic Programming (WFLP'01)","year":"2001","author":"Huch F.","key":"e_1_3_2_2_33_1"},{"volume-title":"Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP'03)","year":"2003","author":"Huch F.","key":"e_1_3_2_2_34_1"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"volume-title":"Proceedings of PLI'01 Erlang Workshop","year":"2001","author":"Leucker M.","key":"e_1_3_2_2_36_1"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"crossref","unstructured":"Tobias\n       \n      Lindahl\n     and \n      \n      \n      Konstantinos\n       \n      Sagonas\n    .\n      \n  \n   \n  Detecting software defects in telecom applications through lightweight static analysis: A war story. In Chin Wei-Ngan editor Programming Languages and Systems: Proceedings of the Second Asian Symposium (APLAS'04) volume \n  3302\n   of \n  LNCS pages \n  91\n  -\n  106\n  . \n  Springer November \n  2004\n  .  Tobias Lindahl and Konstantinos Sagonas. Detecting software defects in telecom applications through lightweight static analysis: A war story. In Chin Wei-Ngan editor Programming Languages and Systems: Proceedings of the Second Asian Symposium (APLAS'04) volume 3302 of LNCS pages 91-106. Springer November 2004.","DOI":"10.1007\/978-3-540-30477-7_7"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140356"},{"volume-title":"Uppsala University","year":"1996","author":"Lindgren A.","key":"e_1_3_2_2_39_1"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag 2nd edition 1992.   Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems . Springer-Verlag 2nd edition 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258962"},{"volume-title":"Proceedings of the 11th International ERLANG\/OTP Users Conference (EUC'05)","year":"2005","author":"Mullaparthi C.","key":"e_1_3_2_2_42_1"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.06.013"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/555142"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053595"},{"key":"e_1_3_2_2_46_1","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"M. van den Brand and D","author":"Noll T.","year":"2001"},{"key":"e_1_3_2_2_47_1","unstructured":"T. Noll. Term rewriting models of concurrency: Foundation and applications 2003.  T. Noll. Term rewriting models of concurrency: Foundation and applications 2003."},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088361.1088375"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/940880.940888"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"crossref","unstructured":"J.h.\n       \n      Reppy\n    .\n      \n  \n   \n  Concurrent ml: Design application and semantics. In P.E. Lauer editor Functional Programming Concurrency Simulation and Automated Reasoning volume \n  693\n   of \n  Lecture Notes in Computer Science pages \n  165\n  -\n  198\n  . \n  Springer-Verlag 1993\n  .   J.h. Reppy. Concurrent ml: Design application and semantics. In P.E. Lauer editor Functional Programming Concurrency Simulation and Automated Reasoning volume 693 of Lecture Notes in Computer Science pages 165-198. Springer-Verlag 1993.","DOI":"10.1007\/3-540-56883-2_10"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159798"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"volume-title":"Proceedings of the 13th International ERLANG\/OTP Users Conference (EUC'06)","year":"2006","author":"Stenman E.","key":"e_1_3_2_2_53_1"},{"volume-title":"Royal Institute of Technology","year":"1999","author":"Wiklander C.","key":"e_1_3_2_2_54_1"},{"volume-title":"CWI","year":"2001","author":"Wouters A.G.","key":"e_1_3_2_2_55_1"}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Edinburgh Scotland","acronym":"ICFP '09"},"container-title":["Proceedings of the 8th ACM SIGPLAN workshop on ERLANG"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596600.1596604","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596600.1596604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:28Z","timestamp":1750249408000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596600.1596604"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,5]]},"references-count":54,"alternative-id":["10.1145\/1596600.1596604","10.1145\/1596600"],"URL":"https:\/\/doi.org\/10.1145\/1596600.1596604","relation":{},"subject":[],"published":{"date-parts":[[2009,9,5]]},"assertion":[{"value":"2009-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}