{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:44Z","timestamp":1750307204324,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,28]],"date-time":"2012-01-28T00:00:00Z","timestamp":1327708800000},"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":[[2012,1,28]]},"DOI":"10.1145\/2103736.2103745","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T14:49:33Z","timestamp":1328021373000},"page":"51-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Compilers must speak properties, not just code"],"prefix":"10.1145","author":[{"given":"Raimund","family":"Kirner","sequence":"first","affiliation":[{"name":"University of Hertfordshire, Hatfield, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Penczek","sequence":"additional","affiliation":[{"name":"University of Hertfordshire, Hatfield, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Shafarenko","sequence":"additional","affiliation":[{"name":"University of Hertfordshire, Hatfield, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,1,28]]},"reference":[{"issue":"2","key":"e_1_3_2_1_1_1","first-page":"V237","volume":"18","author":"Grelck C.","year":"2008","unstructured":"C. Grelck , S.-B. Scholz , and A. Shafarenko , SA Gentle Introductionto S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components, T Parallel Processing Letters , vol. 18 , no. 2 ,pp. 221 V237 , 2008 . C. Grelck, S.-B. Scholz, and A. Shafarenko, SA Gentle Introductionto S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components, T Parallel Processing Letters, vol. 18, no. 2,pp. 221 V237, 2008.","journal-title":"SA Gentle Introductionto S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components, T Parallel Processing Letters"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar 2010","author":"K.","year":"2010","unstructured":"Newton, R., Schlimbach, F., Hampton, M., Knobe, K. : Capturing and composing parallel patterns with Intel CnC . In: Proc. of 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar 2010 ), Berkley, CA, USA ( June 2010 ). Newton, R., Schlimbach, F., Hampton, M., Knobe, K.: Capturing and composing parallel patterns with Intel CnC. In: Proc. of 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar 2010), Berkley, CA, USA (June 2010)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"F. Penczek S. Herhut C. Grelck S.B. Scholz A. Shafarenko R. Barrere and E. Lenormand 2010 \"Parallel signal processing with S-Net\" Procedia Computer Science vol 1 no. 1 pp. 2085--2094 .  F. Penczek S. Herhut C. Grelck S.B. Scholz A. Shafarenko R. Barrere and E. Lenormand 2010 \"Parallel signal processing with S-Net\" Procedia Computer Science vol 1 no. 1 pp. 2085--2094 .","DOI":"10.1016\/j.procs.2010.04.233"},{"key":"e_1_3_2_1_4_1","volume-title":"Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures","author":"Cheng W.","year":"2012","unstructured":"W. Cheng , F. Penczek , C. Grelck , R. Kirner , B. Scheuermann , and A. Shafarenko . Modeling streams-based variants of ant colony optimisation for parallel systems . In Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures , Paris, France , Jan. 2012 . (to appear). W. Cheng, F. Penczek, C. Grelck, R. Kirner, B. Scheuermann, and A. Shafarenko. Modeling streams-based variants of ant colony optimisation for parallel systems. In Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures, Paris, France, Jan. 2012. (to appear)."},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. International Conference on Parallel Computing","author":"Grelck C.","year":"2011","unstructured":"C. Grelck , K. Hammond , H. Hertlein , P. H\u00f6lzenspies , C. Jesshope , R. Kirner , B. Scheuermann , A. Shafarenko , I. T. Boekhorst , and V. Wieser . Engineering concurrent software guided by statistical performance analysis . In Proc. International Conference on Parallel Computing , Ghent, Belgium, Aug.\/ Sep. 2011 . C. Grelck, K. Hammond, H. Hertlein, P. H\u00f6lzenspies, C. Jesshope, R. Kirner, B. Scheuermann, A. Shafarenko, I. T. Boekhorst, and V. Wieser. Engineering concurrent software guided by statistical performance analysis. In Proc. International Conference on Parallel Computing, Ghent, Belgium, Aug.\/Sep. 2011."},{"key":"e_1_3_2_1_6_1","volume-title":"Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures","author":"Wieser V.","year":"2012","unstructured":"V. Wieser , P. K. H\u00f6lzenspies , R. Kirner , and M. Ro\u00dfbory . Statistical performance analysis with dynamic workload using S-NET . In Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures , Paris, France , Jan. 2012 . (to appear). V. Wieser, P. K. H\u00f6lzenspies, R. Kirner, and M. Ro\u00dfbory. Statistical performance analysis with dynamic workload using S-NET. In Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures, Paris, France, Jan. 2012. (to appear)."},{"key":"e_1_3_2_1_7_1","volume-title":"CAL: A language for aggregating functional and extrafunctional constraints in streaming networks. Technical report","author":"Shafarenko A.","year":"2011","unstructured":"A. Shafarenko and R. Kirner . CAL: A language for aggregating functional and extrafunctional constraints in streaming networks. Technical report , University of Hertfordshire , Hatfield, UK , Jan. 2011 . available at http:\/\/arxiv.org\/abs\/1101.3356. A. Shafarenko and R. Kirner. CAL: A language for aggregating functional and extrafunctional constraints in streaming networks. Technical report, University of Hertfordshire, Hatfield, UK, Jan. 2011. available at http:\/\/arxiv.org\/abs\/1101.3356."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11%3C1203::AID-SPE338%3E3.3.CO;2-E"},{"key":"e_1_3_2_1_10_1","volume-title":"August","author":"Dutertre B.","year":"2006","unstructured":"B. Dutertre and L. de Moura . The Yices SMT solver. Tool paper at http:\/\/yices.csl.sri.com\/tool-paper.pdf , August 2006 . B. Dutertre and L. de Moura. The Yices SMT solver. Tool paper at http:\/\/yices.csl.sri.com\/tool-paper.pdf, August 2006."}],"event":{"name":"POPL '12: The 39th 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":"Philadelphia Pennsylvania USA","acronym":"POPL '12"},"container-title":["Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103736.2103745","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103736.2103745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:22Z","timestamp":1750241182000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103736.2103745"}},"subtitle":["CAL: constraint aggregation language for declarative component-coordination"],"short-title":[],"issued":{"date-parts":[[2012,1,28]]},"references-count":9,"alternative-id":["10.1145\/2103736.2103745","10.1145\/2103736"],"URL":"https:\/\/doi.org\/10.1145\/2103736.2103745","relation":{},"subject":[],"published":{"date-parts":[[2012,1,28]]},"assertion":[{"value":"2012-01-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}