{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:18Z","timestamp":1750221378043,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,22]],"date-time":"2017-10-22T00:00:00Z","timestamp":1508630400000},"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,10,22]]},"DOI":"10.1145\/3136000.3136009","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"73-77","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper)"],"prefix":"10.1145","author":[{"given":"Lars","family":"Kroll","sequence":"first","affiliation":[{"name":"KTH, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paris","family":"Carbone","sequence":"additional","affiliation":[{"name":"KTH, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seif","family":"Haridi","sequence":"additional","affiliation":[{"name":"KTH, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2009. Akka. (2009). http:\/\/akka.io .  2009. Akka. (2009). http:\/\/akka.io ."},{"key":"e_1_3_2_1_2_1","unstructured":"2009. Kompics. (2009). http:\/\/kompics.sics.se .  2009. Kompics. (2009). http:\/\/kompics.sics.se ."},{"key":"e_1_3_2_1_3_1","unstructured":"2012. edX. (2012). http:\/\/www.edx.org .  2012. edX. (2012). http:\/\/www.edx.org ."},{"key":"e_1_3_2_1_4_1","unstructured":"2013. CaracalDB. (2013). https:\/\/github.com\/CaracalDB\/CaracalDB .  2013. CaracalDB. (2013). https:\/\/github.com\/CaracalDB\/CaracalDB ."},{"key":"e_1_3_2_1_5_1","unstructured":"2014. GVoD. (2014). https:\/\/github.com\/Decentrify\/GVoD .  2014. GVoD. (2014). https:\/\/github.com\/Decentrify\/GVoD ."},{"key":"e_1_3_2_1_6_1","unstructured":"2015. Apache Zeppelin. (2015). http:\/\/zeppelin.apache.org .  2015. Apache Zeppelin. (2015). http:\/\/zeppelin.apache.org ."},{"volume-title":"Reconfigurable Middleware. In Proceedings of the 13th International Middleware Conference (Middleware \u201912)","year":"2012","author":"Arad Cosmin","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","unstructured":"Cosmin Ionel Arad. 2013. Programming Model and Protocols for Reconfigurable Distributed Systems. Ph.D. Dissertation. KTH - Royal Institute of Technology Stockholm. https:\/\/www.kth.se\/social\/upload\/ 51b05a6af276541b8120ce4d\/CosminArad-PhD-Defence.pdf  Cosmin Ionel Arad. 2013. Programming Model and Protocols for Reconfigurable Distributed Systems. Ph.D. Dissertation. KTH - Royal Institute of Technology Stockholm. https:\/\/www.kth.se\/social\/upload\/ 51b05a6af276541b8120ce4d\/CosminArad-PhD-Defence.pdf"},{"key":"e_1_3_2_1_9_1","unstructured":"Joe Armstrong. 2003. Making reliable distributed systems in the presence of software errors. December (2003) 295.  Joe Armstrong. 2003. Making reliable distributed systems in the presence of software errors. December (2003) 295."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15260-3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_12_1","unstructured":"Patrik Nordwall. 2012. 50 Million Messages Per Second - on a Single Machine. (2012). http:\/\/letitcrash.com\/post\/20397701710\/ 50-million-messages-per-second-on-a-single-machine  Patrik Nordwall. 2012. 50 Million Messages Per Second - on a Single Machine. (2012). http:\/\/letitcrash.com\/post\/20397701710\/ 50-million-messages-per-second-on-a-single-machine"}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Vancouver BC Canada","acronym":"SPLASH '17"},"container-title":["Proceedings of the 8th ACM SIGPLAN International Symposium on Scala"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136000.3136009","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3136000.3136009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:45Z","timestamp":1750213605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136000.3136009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,22]]},"references-count":12,"alternative-id":["10.1145\/3136000.3136009","10.1145\/3136000"],"URL":"https:\/\/doi.org\/10.1145\/3136000.3136009","relation":{},"subject":[],"published":{"date-parts":[[2017,10,22]]},"assertion":[{"value":"2017-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}