{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:58Z","timestamp":1750306258167,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,2]],"date-time":"2017-01-02T00:00:00Z","timestamp":1483315200000},"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":[[2017,1,2]]},"DOI":"10.1145\/3018882.3018885","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T21:20:29Z","timestamp":1482441629000},"page":"99-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Predicting resource consumption of higher-order workflows"],"prefix":"10.1145","author":[{"given":"Markus","family":"Klinik","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen, Netherlands"}]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}]},{"given":"Jan Martin","family":"Jansen","sequence":"additional","affiliation":[{"name":"Netherlands Defence Academy, Netherlands"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2017,1,2]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science, 1192","volume-title":"Polymorphic subtyping for effect analysis: The dynamic semantics","author":"Amtoft T.","year":"1997","unstructured":"T. Amtoft , F. Nielson , H. R. Nielson , and J. Ammann . Polymorphic subtyping for effect analysis: The dynamic semantics . Lecture Notes in Computer Science, 1192 , 1997 . T. Amtoft, F. Nielson, H. R. Nielson, and J. Ammann. Polymorphic subtyping for effect analysis: The dynamic semantics. Lecture Notes in Computer Science, 1192, 1997."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_13"},{"key":"e_1_3_2_1_3_1","volume-title":"Automated planning - theory and practice","author":"Ghallab M.","year":"2004","unstructured":"M. Ghallab , D. S. Nau , and P. Traverso . Automated planning - theory and practice . Elsevier , 2004 . ISBN 978-1-55860-856-6. Haack and Wells. Type error slicing in implicitly typed higher-order languages. SCIPROG : Science of Computer Programming , 50, 2004. M. Ghallab, D. S. Nau, and P. Traverso. Automated planning - theory and practice. Elsevier, 2004. ISBN 978-1-55860-856-6. Haack and Wells. Type error slicing in implicitly typed higher-order languages. SCIPROG: Science of Computer Programming, 50, 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291189"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1707801.1706327"},{"key":"e_1_3_2_1_6_1","first-page":"109","volume-title":"Proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA\u201913)","volume":"8552","author":"Kersten R.","unstructured":"R. Kersten , P. Parisen Toldin , B. van Gastel , and M. van Eekelen . A Hoare logic for energy consumption analysis . In Proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA\u201913) , volume 8552 of LNCS, pages 93\u2013 109 . Springer, 2014. R. Kersten, P. Parisen Toldin, B. van Gastel, and M. van Eekelen. A Hoare logic for energy consumption analysis. In Proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA\u201913), volume 8552 of LNCS, pages 93\u2013109. Springer, 2014."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678015.2682542"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"F.\n      Nielson H. R.\n      Nielson and \n      T.\n      Amtoft\n  . \n  Polymorphic subtyping for effect analysis: The algorithm\n  . In M. Dam editor LOMAPS volume \n  1192\n   of \n  Lecture Notes in Computer Science pages 207\u2013\n  243\n  . Springer 1996a. F. Nielson H. R. Nielson and C. Hankin. Principles of Program Analysis. Springer 1999.   F. Nielson H. R. Nielson and T. Amtoft. Polymorphic subtyping for effect analysis: The algorithm. In M. Dam editor LOMAPS volume 1192 of Lecture Notes in Computer Science pages 207\u2013243. Springer 1996a. F. Nielson H. R. Nielson and C. Hankin. Principles of Program Analysis. Springer 1999.","DOI":"10.1007\/3-540-62503-8_10"},{"key":"e_1_3_2_1_9_1","unstructured":"H. R.\n      Nielson F.\n      Nielson and \n      T.\n      Amtoft\n  . \n  Polymorphic subtyping for effect analysis: The static semantics\n  . In M. Dam editor LOMAPS volume \n  1192\n   of \n  Lecture Notes in Computer Science pages 141\u2013\n  171\n  . Springer 1996b. Object Management Group. Business process model and notation (BPMN) version 1.2. Technical report Object Management Group 2009.   H. R. Nielson F. Nielson and T. Amtoft. Polymorphic subtyping for effect analysis: The static semantics. In M. Dam editor LOMAPS volume 1192 of Lecture Notes in Computer Science pages 141\u2013171. Springer 1996b. Object Management Group. Business process model and notation (BPMN) version 1.2. Technical report Object Management Group 2009."},{"key":"e_1_3_2_1_10_1","series-title":"NATO ASI Series","first-page":"96","volume-title":"Engineering Theories of Software Construction","author":"Peyton-Jones S.","unstructured":"S. Peyton-Jones . Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in haskell . In C. A. R. Hoare, M. Broy, and R. Steinbrueggen, editors, Engineering Theories of Software Construction , NATO ASI Series , pages 47\u2013 96 . IOS Press, 2001. S. Peyton-Jones. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in haskell. In C. A. R. Hoare, M. Broy, and R. Steinbrueggen, editors, Engineering Theories of Software Construction, NATO ASI Series, pages 47\u201396. IOS Press, 2001."},{"key":"e_1_3_2_1_11_1","unstructured":"Marktoberdorf Summer School 2000.  Marktoberdorf Summer School 2000."},{"key":"e_1_3_2_1_12_1","unstructured":"R. Plasmeijer and M. van Eekelen. Clean language report (version 2.1). http:\/\/clean.cs.ru.nl 2002.  R. Plasmeijer and M. van Eekelen. Clean language report (version 2.1). http:\/\/clean.cs.ru.nl 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929501.1929528"},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","first-page":"141","volume-title":"Trends in Functional Programming","author":"Stutterheim J.","unstructured":"J. Stutterheim , R. Plasmeijer , and P. Achten . Tonic: An infrastructure to graphically represent the definition and behaviour of tasks . In J. Hage and J. McCarthy, editors, Trends in Functional Programming , volume 8843 of Lecture Notes in Computer Science , pages 122\u2013 141 . Springer, 2014. J. Stutterheim, R. Plasmeijer, and P. Achten. Tonic: An infrastructure to graphically represent the definition and behaviour of tasks. In J. Hage and J. McCarthy, editors, Trends in Functional Programming, volume 8843 of Lecture Notes in Computer Science, pages 122\u2013141. Springer, 2014."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27861-0_6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.03.011"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Paris France","acronym":"POPL '17"},"container-title":["Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018882.3018885","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3018882.3018885","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:12Z","timestamp":1750220652000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018882.3018885"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,2]]},"references-count":16,"alternative-id":["10.1145\/3018882.3018885","10.1145\/3018882"],"URL":"https:\/\/doi.org\/10.1145\/3018882.3018885","relation":{},"subject":[],"published":{"date-parts":[[2017,1,2]]},"assertion":[{"value":"2017-01-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}