{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:53Z","timestamp":1750306733295,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T00:00:00Z","timestamp":1413244800000},"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":[[2014,10,14]]},"DOI":"10.1145\/2661136.2661152","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"11-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Call by Meaning"],"prefix":"10.1145","author":[{"given":"Hesam","family":"Samimi","sequence":"first","affiliation":[{"name":"SAP Labs, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Deaton","sequence":"additional","affiliation":[{"name":"Cycorp, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiki","family":"Ohshima","sequence":"additional","affiliation":[{"name":"Viewpoints Research Institute, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Warth","sequence":"additional","affiliation":[{"name":"SAP Labs, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"TheWolfram Language. https:\/\/www.wolfram.com\/language.  TheWolfram Language. https:\/\/www.wolfram.com\/language."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869531"},{"key":"e_1_3_2_1_3_1","unstructured":"G. Bracha. Types are anti-modular. http:\/\/gbracha.blogspot.com\/2011\/06\/types-are-anti-modular.html.  G. Bracha. Types are anti-modular. http:\/\/gbracha.blogspot.com\/2011\/06\/types-are-anti-modular.html."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.31"},{"key":"e_1_3_2_1_5_1","unstructured":"L. De Moura and N. Bj\u00f8rner. Z3: an efficient SMT solver. In TACAS'08\/ETAPS'08.   L. De Moura and N. Bj\u00f8rner. Z3: an efficient SMT solver. In TACAS'08\/ETAPS'08."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.2886"},{"key":"e_1_3_2_1_7_1","volume-title":"The many faces of publish\/subscribe","author":"Eugster P. T.","year":"2003","unstructured":"P. T. Eugster , P. A. Felber , R. Guerraoui , and A.-M. Kermarrec . The many faces of publish\/subscribe . 2003 . P. T. Eugster, P. A. Felber, R. Guerraoui, and A.-M. Kermarrec. The many faces of publish\/subscribe. 2003."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568250"},{"volume-title":"ICSE '13","author":"Inverardi P.","key":"e_1_3_2_1_9_1","unstructured":"P. Inverardi and M. Tivoli . Automatic synthesis of modular connectors via composition of protocol mediation patterns . In ICSE '13 . P. Inverardi and M. Tivoli. Automatic synthesis of modular connectors via composition of protocol mediation patterns. In ICSE '13."},{"volume-title":"CEFP'09","author":"Kennedy A.","key":"e_1_3_2_1_10_1","unstructured":"A. Kennedy . Types for units-of-measure: Theory and practice . In CEFP'09 . A. Kennedy. Types for units-of-measure: Theory and practice. In CEFP'09."},{"volume-title":"POPL '12","author":"K\u00f6ksal A. S.","key":"e_1_3_2_1_11_1","unstructured":"A. S. K\u00f6ksal , V. Kuncak , and P. Suter . Constraints as control . In POPL '12 . A. S. K\u00f6ksal, V. Kuncak, and P. Suter. Constraints as control. In POPL '12."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/219717.219745"},{"key":"e_1_3_2_1_13_1","first-page":"63","article-title":"Beating common sense into interactive applications","volume":"25","author":"Lieberman H.","year":"2004","unstructured":"H. Lieberman , H. Liu , P. Singh , and B. Barry . Beating common sense into interactive applications . AI Magazine , 25 : 63 -- 76 , 2004 . H. Lieberman, H. Liu, P. Singh, and B. Barry. Beating common sense into interactive applications. AI Magazine, 25:63--76, 2004.","journal-title":"AI Magazine"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/191080.191118"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065018"},{"volume-title":"ICEIS '07","author":"Margaria T.","key":"e_1_3_2_1_16_1","unstructured":"T. Margaria , C. Winkler , C. Kubczak , B. Steffen , M. Brambilla , S. Ceri , D. Cerizza , E. D. Valle , F. M. Facca , and C. Tziviskou . The sws mediator with webml\/webratio and jabc\/jeti: A comparison . In ICEIS '07 . T. Margaria, C. Winkler, C. Kubczak, B. Steffen, M. Brambilla, S. Ceri, D. Cerizza, E. D. Valle, F. M. Facca, and C. Tziviskou. The sws mediator with webml\/webratio and jabc\/jeti: A comparison. In ICEIS '07."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920599"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640091"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/345124.345145"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-012-0609-z"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAS.2009.34"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509590"},{"key":"e_1_3_2_1_23_1","volume-title":"Semantic Web Services Challenge: Results from the First Year","author":"Petrie C.","year":"2008","unstructured":"C. Petrie , T. Margaria , H. Lausen , and M. Zaremba . Semantic Web Services Challenge: Results from the First Year . 2008 . C. Petrie, T. Margaria, H. Lausen, and M. Zaremba. Semantic Web Services Challenge: Results from the First Year. 2008."},{"key":"e_1_3_2_1_24_1","volume-title":"Manning Publications Co","author":"Prasanna D. R.","year":"2009","unstructured":"D. R. Prasanna . Dependency Injection . Manning Publications Co ., 1 st edition, 2009 . D. R. Prasanna. Dependency Injection. Manning Publications Co., 1st edition, 2009.","edition":"1"},{"key":"e_1_3_2_1_25_1","volume-title":"Papers from the AAAI Workshop on Contexts and Ontologies","author":"Ramachandran D.","year":"2005","unstructured":"D. Ramachandran , P. Reagan , and K. Goolsbey . First-orderized ResearchCyc: Expressivity and efficiency in a common-sense ontology . In Papers from the AAAI Workshop on Contexts and Ontologies , 2005 . D. Ramachandran, P. Reagan, and K. Goolsbey. First-orderized ResearchCyc: Expressivity and efficiency in a common-sense ontology. In Papers from the AAAI Workshop on Contexts and Ontologies, 2005."},{"key":"e_1_3_2_1_26_1","volume-title":"A networked, media-rich programming environment to enhance technological fluency at after-school centers in economically-disadvantaged communities. Technical report","author":"Resnick M.","year":"2003","unstructured":"M. Resnick , Y. Kafai , J. Maloney , N. Rusk , L. Burd , and B. Silverman . A networked, media-rich programming environment to enhance technological fluency at after-school centers in economically-disadvantaged communities. Technical report , 2003 . M. Resnick, Y. Kafai, J. Maloney, N. Rusk, L. Burd, and B. Silverman. A networked, media-rich programming environment to enhance technological fluency at after-school centers in economically-disadvantaged communities. Technical report, 2003."},{"volume-title":"ECOOP '10","author":"Samimi H.","key":"e_1_3_2_1_27_1","unstructured":"H. Samimi , E. D. Aung , and T. Millstein . Falling back on executable specifications . In ECOOP '10 . H. Samimi, E. D. Aung, and T. Millstein. Falling back on executable specifications. In ECOOP '10."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429376.2429378"}],"event":{"name":"SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Portland Oregon USA","acronym":"SPLASH '14"},"container-title":["Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661152","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2661136.2661152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:46Z","timestamp":1750231186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,14]]},"references-count":28,"alternative-id":["10.1145\/2661136.2661152","10.1145\/2661136"],"URL":"https:\/\/doi.org\/10.1145\/2661136.2661152","relation":{},"subject":[],"published":{"date-parts":[[2014,10,14]]},"assertion":[{"value":"2014-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}