{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:01:40Z","timestamp":1765666900256,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T00:00:00Z","timestamp":1295827200000},"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":[[2011,1,24]]},"DOI":"10.1145\/1929501.1929528","type":"proceedings-article","created":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T14:58:22Z","timestamp":1295881102000},"page":"151-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["iTasks for a change"],"prefix":"10.1145","author":[{"given":"Rinus","family":"Plasmeijer","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Koopman","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bas","family":"Lijnse","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, & Netherlands Defence Academy, DenHelder, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"van Noort","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"van Groningen","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,1,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011409408711"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISS.1990.765711"},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-57529-4_42","volume-title":"Proceedings of the Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS '93, Bombay, India","author":"Barendsen Erik","year":"1993","unstructured":"Erik Barendsen and Sjaak Smetsers . Conventional and uniqueness typing in graph rewrite systems (extended abstract) . In Rudrapatna Shyamasundar, editor, Proceedings of the Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS '93, Bombay, India , volume 761 of Lecture Notes in Computer Science , pages 41 -- 51 . Springer-Verlag , 1993 . Erik Barendsen and Sjaak Smetsers. Conventional and uniqueness typing in graph rewrite systems (extended abstract). In Rudrapatna Shyamasundar, editor, Proceedings of the Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS '93, Bombay, India, volume 761 of Lecture Notes in Computer Science, pages 41--51. Springer-Verlag, 1993."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353448"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507645"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/3-540-45594-9_13","volume-title":"Business Process Management","author":"Ellis Clarence","year":"2000","unstructured":"Clarence Ellis and Karim Keddara . A workflow change is a workflow . In Wil van der Aalst, editor, Business Process Management , volume 1806 of Lecture Notes in Computer Science , pages 201 -- 217 . Springer-Verlag , 2000 . Clarence Ellis and Karim Keddara. A workflow change is a workflow. In Wil van der Aalst, editor, Business Process Management, volume 1806 of Lecture Notes in Computer Science, pages 201--217. Springer-Verlag, 2000."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/224019.224021"},{"key":"e_1_3_2_1_9_1","volume-title":"Design patterns: elements of reusable object-oriented software","author":"Gamma Erich","year":"1995","unstructured":"Erich Gamma , Richard Helm , Ralph Johnson , and John Vlissides . Design patterns: elements of reusable object-oriented software . Addison-Wesley , 1995 . Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-04652-0","volume-title":"Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '08","author":"Koopman Pieter","year":"2009","unstructured":"Pieter Koopman , Rinus Plasmeijer , and Peter Achten . An executable and testable semantics for iTasks . In Sven-Bodo Scholz, editor, Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '08 , Hertfordshire, UK , volume 5836 of Lecture Notes in Computer Science . Springer-Verlag , 2009 . Pieter Koopman, Rinus Plasmeijer, and Peter Achten. An executable and testable semantics for iTasks. In Sven-Bodo Scholz, editor, Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '08, Hertfordshire, UK, volume 5836 of Lecture Notes in Computer Science. Springer-Verlag, 2009."},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-3-642-16478-1_11","volume-title":"Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '09","author":"van Noort Thomas","year":"2010","unstructured":"Thomas van Noort , Peter Achten , and Rinus Plasmeijer . A typical synergy - Dynamic types and generalised algebraic datatypes . In Marco Moraz\u00e1n and Sven-Bodo Scholz, editors, Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '09 , South Orange, NJ, USA , volume 6041 of Lecture Notes in Computer Science , pages 179 -- 197 . Springer-Verlag , 2010 a. Thomas van Noort, Peter Achten, and Rinus Plasmeijer. A typical synergy - Dynamic types and generalised algebraic datatypes. In Marco Moraz\u00e1n and Sven-Bodo Scholz, editors, Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '09, South Orange, NJ, USA, volume 6041 of Lecture Notes in Computer Science, pages 179--197. Springer-Verlag, 2010a."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863495.1863505"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_17_1","series-title":"Lecture Notes in Computer Science","first-page":"169","volume-title":"Proceedings of the International Workshop on the Implementation of Functional Languages, IFL '98","author":"Pil Marco","year":"1999","unstructured":"Marco Pil . Dynamic types and type dependent functions . In Kevin Hammond, Tony Davie, and Chris Clack, editors, Proceedings of the International Workshop on the Implementation of Functional Languages, IFL '98 , London, UK , volume 1595 of Lecture Notes in Computer Science , pages 169 -- 185 . Springer-Verlag , 1999 . Marco Pil. Dynamic types and type dependent functions. In Kevin Hammond, Tony Davie, and Chris Clack, editors, Proceedings of the International Workshop on the Implementation of Functional Languages, IFL '98, London, UK, volume 1595 of Lecture Notes in Computer Science, pages 169--185. Springer-Verlag, 1999."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291174"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008604709862"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255450.1255455"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91592"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the Workshop on Principles of Abstract Machines, PAM '98","author":"Walton Christopher","year":"1998","unstructured":"Christopher Walton , Dilsun Kirli , and Stephen Gilmore . An abstract machine for module replacement. In Stephan Diehl and Peter Sestoft, editors , Proceedings of the Workshop on Principles of Abstract Machines, PAM '98 , Pisa, Italy , 1998 . Christopher Walton, Dilsun Kirli, and Stephen Gilmore. An abstract machine for module replacement. In Stephan Diehl and Peter Sestoft, editors, Proceedings of the Workshop on Principles of Abstract Machines, PAM '98, Pisa, Italy, 1998."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2008.05.001"}],"event":{"name":"POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Austin Texas USA","acronym":"POPL '11"},"container-title":["Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1929501.1929528","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1929501.1929528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:31Z","timestamp":1750278391000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1929501.1929528"}},"subtitle":["type-safe run-time change in dynamically evolving workflows"],"short-title":[],"issued":{"date-parts":[[2011,1,24]]},"references-count":20,"alternative-id":["10.1145\/1929501.1929528","10.1145\/1929501"],"URL":"https:\/\/doi.org\/10.1145\/1929501.1929528","relation":{},"subject":[],"published":{"date-parts":[[2011,1,24]]},"assertion":[{"value":"2011-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}