{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:50:14Z","timestamp":1730206214185,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T00:00:00Z","timestamp":1648857600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T00:00:00Z","timestamp":1648857600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,4,2]]},"DOI":"10.1109\/cgo53902.2022.9741275","type":"proceedings-article","created":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T19:51:20Z","timestamp":1648583480000},"page":"79-91","source":"Crossref","is-referenced-by-count":2,"title":["Aggregate Update Problem for Multi-clocked Dataflow Languages"],"prefix":"10.1109","author":[{"given":"Hannes","family":"Kallwies","sequence":"first","affiliation":[{"name":"University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany"}]},{"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[{"name":"University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany"}]},{"given":"Torben","family":"Scheffel","sequence":"additional","affiliation":[{"name":"University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany"}]},{"given":"Malte","family":"Schmitz","sequence":"additional","affiliation":[{"name":"University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany"}]},{"given":"Daniel","family":"Thoma","sequence":"additional","affiliation":[{"name":"University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96725"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165222"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2003.05.005"},{"key":"ref13","first-page":"23","article-title":"Extending structural test coverage criteria for lustre programs with multi-clock operators","volume":"5596","author":"papailiopoulou","year":"2008","journal-title":"Formal Methods for Industrial Critical Systems 13th International Workshop FMICS 2008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00722-4_15"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2906363.2906379"},{"key":"ref16","first-page":"178","article-title":"Lustre: A declarative language for programming synchronous systems","author":"caspi","year":"1987","journal-title":"Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages Munich Germany January 21-23 1987"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18317-5_15"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2005.26"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03769-7_16"},{"key":"ref28","first-page":"41","article-title":"Nrc data collection and the privacy by design principles","author":"aad","year":"2010","journal-title":"Proc of PhoneSense"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318660"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.18"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03044-5_10"},{"key":"ref6","first-page":"561","article-title":"Linear types can change the world!","author":"wadler","year":"1990","journal-title":"Programming concepts and methods Proceedings of the IFIP Working Group 2 2 2 3 Working Conference on Programming Concepts and Methods Sea of Galilee"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2013.07.014"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248426"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319876"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/12130.12142"},{"key":"ref2","article-title":"Dataflow programming concept, languages and applications","volume":"130","author":"sousa","year":"2012","journal-title":"4th Doctoral Symposium on Informatics Engineering"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99373"},{"article-title":"The on-line graphical specification of computer procedures","year":"1966","author":"sutherland","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207134"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1639"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54444-5_100"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814312"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68279-0_8"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0454-5"},{"article-title":"Ideal hash trees","year":"2001","author":"bagwell","key":"ref25"}],"event":{"name":"2022 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","start":{"date-parts":[[2022,4,2]]},"location":"Seoul, Korea, Republic of","end":{"date-parts":[[2022,4,6]]}},"container-title":["2022 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9741235\/9741095\/09741275.pdf?arnumber=9741275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,10]],"date-time":"2022-06-10T21:56:56Z","timestamp":1654898216000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9741275\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,2]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/cgo53902.2022.9741275","relation":{},"subject":[],"published":{"date-parts":[[2022,4,2]]}}}