{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:48Z","timestamp":1750221168472,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T00:00:00Z","timestamp":1504051200000},"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,8,30]]},"DOI":"10.1145\/3205368.3205376","type":"proceedings-article","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T12:09:54Z","timestamp":1534248594000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The Sky is the Limit"],"prefix":"10.1145","author":[{"given":"Markus","family":"Klinik","sequence":"first","affiliation":[{"name":"Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands"}]},{"given":"Jan Martin","family":"Jansen","sequence":"additional","affiliation":[{"name":"Netherlands Defence Academy (NLDA), Den Helder, The Netherlands"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[{"name":"Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2017,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"T. Amtoft F. Nielson H. R. Nielson and J. Ammann. 1997. Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LNCS 1192 (1997).   T. Amtoft F. Nielson H. R. Nielson and J. Ammann. 1997. Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LNCS 1192 (1997).","DOI":"10.1007\/3-540-62503-8_9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_13"},{"volume-title":"Automated planning - theory and practice","author":"Ghallab Malik","key":"e_1_3_2_1_3_1","unstructured":"Malik Ghallab , Dana S. Nau , and Paolo Traverso . 2004. Automated planning - theory and practice . Elsevier . I-XXVIII, 1--635 pages. Malik Ghallab, Dana S. Nau, and Paolo Traverso. 2004. Automated planning - theory and practice. Elsevier. I-XXVIII, 1--635 pages."},{"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","volume-title":"Bernard van Gastel, and Marko van Eekelen.","author":"Kersten Rody","year":"2014","unstructured":"Rody Kersten , Paolo Parisen Toldin , Bernard van Gastel, and Marko van Eekelen. 2014 . A Hoare Logic for Energy Consumption Analysis. In Proceedings of FOPARA'13, Vol. 8552 . Springer , 93--109. Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, and Marko van Eekelen. 2014. A Hoare Logic for Energy Consumption Analysis. In Proceedings of FOPARA'13, Vol. 8552. Springer, 93--109."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3018882.3018885"},{"key":"e_1_3_2_1_8_1","volume-title":"Plasmeijer","author":"Koopman Pieter W. M.","year":"2002","unstructured":"Pieter W. M. Koopman , Artem Alimarine , Jan Tretmans , and Marinus J . Plasmeijer . 2002 . Gast : Generic Automated Software Testing. In IFL (Lecture Notes in Computer Science), Ricardo Pena and Thomas Arts (Eds.), Vol. 2670 . Springer , 84--100. Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, and Marinus J. Plasmeijer. 2002. Gast: Generic Automated Software Testing. In IFL (Lecture Notes in Computer Science), Ricardo Pena and Thomas Arts (Eds.), Vol. 2670. Springer, 84--100."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678015.2682542"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of ISCRAM.","author":"Lijnse Bas","year":"2012","unstructured":"Bas Lijnse , Jan Martin Jansen , and Rinus Plasmeijer . 2012 . Incidone: A Task-Oriented Incident Coordination Tool . In Proceedings of ISCRAM. Bas Lijnse, Jan Martin Jansen, and Rinus Plasmeijer. 2012. Incidone: A Task-Oriented Incident Coordination Tool. In Proceedings of ISCRAM."},{"key":"e_1_3_2_1_11_1","volume-title":"Hanne Riis Nielson, and Torben Amtoft","author":"Nielson Flemming","year":"1996","unstructured":"Flemming Nielson , Hanne Riis Nielson, and Torben Amtoft . 1996 a. Polymorphic Subtyping for Effect Analysis: The Algorithm . In LOMAPS (Lecture Notes in Computer Science), Mads Dam (Ed.), Vol. 1192 . Springer , 207--243. Flemming Nielson, Hanne Riis Nielson, and Torben Amtoft. 1996a. Polymorphic Subtyping for Effect Analysis: The Algorithm. In LOMAPS (Lecture Notes in Computer Science), Mads Dam (Ed.), Vol. 1192. Springer, 207--243."},{"key":"e_1_3_2_1_12_1","volume-title":"Hanne Riis Nielson, and Chris Hankin","author":"Nielson Flemming","year":"1999","unstructured":"Flemming Nielson , Hanne Riis Nielson, and Chris Hankin . 1999 . Principles of Program Analysis. Springer . Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. 1999. Principles of Program Analysis. Springer."},{"volume-title":"LOMAPS (Lecture Notes in Computer Science)","author":"Nielson Hanne Riis","key":"e_1_3_2_1_13_1","unstructured":"Hanne Riis Nielson , Flemming Nielson , and Torben Amtoft . 1996b. Polymorphic Subtyping for Effect Analysis: The Static Semantics . In LOMAPS (Lecture Notes in Computer Science) , Mads Dam (Ed.), Vol. 1192 . Springer , 141--171. Hanne Riis Nielson, Flemming Nielson, and Torben Amtoft. 1996b. Polymorphic Subtyping for Effect Analysis: The Static Semantics. In LOMAPS (Lecture Notes in Computer Science), Mads Dam (Ed.), Vol. 1192. Springer, 141--171."},{"key":"e_1_3_2_1_14_1","volume-title":"Engineering Theories of Software Construction","author":"Peyton-Jones Simon","year":"2000","unstructured":"Simon Peyton-Jones . 2001. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell . In Engineering Theories of Software Construction . IOS Press , 47--96. Marktoberdorf Summer School 2000 . Simon Peyton-Jones. 2001. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell. In Engineering Theories of Software Construction. IOS Press, 47--96. Marktoberdorf Summer School 2000."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370776.2370801"},{"key":"e_1_3_2_1_16_1","unstructured":"Rinus Plasmeijer and Marko van Eekelen. 2002. Clean language report (version 2.1). (2002). http:\/\/clean.cs.ru.nl.  Rinus Plasmeijer and Marko van Eekelen. 2002. Clean language report (version 2.1). (2002). http:\/\/clean.cs.ru.nl."},{"key":"e_1_3_2_1_17_1","volume-title":"Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In Trends in Functional Programming (Lecture Notes in Computer Science)","author":"Stutterheim Jurri\u00ebn","year":"2014","unstructured":"Jurri\u00ebn Stutterheim , Rinus Plasmeijer , and Peter Achten . 2014 . Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In Trends in Functional Programming (Lecture Notes in Computer Science) , Vol. 8843 . Springer , 122--141. Jurri\u00ebn Stutterheim, Rinus Plasmeijer, and Peter Achten. 2014. Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In Trends in Functional Programming (Lecture Notes in Computer Science), Vol. 8843. Springer, 122--141."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27861-0_6"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.03.011"}],"event":{"name":"IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages","sponsor":["ACM Association for Computing Machinery","The University of Bristol The University of Bristol","ERLANG Erlang Solutions Ltd."],"location":"Bristol United Kingdom","acronym":"IFL 2017"},"container-title":["Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3205368.3205376","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3205368.3205376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:55Z","timestamp":1750208935000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3205368.3205376"}},"subtitle":["Analysing Resource Consumption Over Time Using Skylines"],"short-title":[],"issued":{"date-parts":[[2017,8,30]]},"references-count":19,"alternative-id":["10.1145\/3205368.3205376","10.1145\/3205368"],"URL":"https:\/\/doi.org\/10.1145\/3205368.3205376","relation":{},"subject":[],"published":{"date-parts":[[2017,8,30]]},"assertion":[{"value":"2017-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}