{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T03:19:22Z","timestamp":1776827962663,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":19,"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.2661148","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"173-184","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":77,"title":["Phrase-Based Statistical Translation of Programming Languages"],"prefix":"10.1145","author":[{"given":"Svetoslav","family":"Karaivanov","sequence":"first","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Veselin","family":"Raychev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2014,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"47","volume-title":"Semantic parsing as machine translation","author":"ANDREAS J.","unstructured":"ANDREAS , J. , VLACHOS , A. , AND CLARK , S. Semantic parsing as machine translation . The Association for Computer Linguistics , pp. 47 -- 52 . ANDREAS, J., VLACHOS, A., AND CLARK, S. Semantic parsing as machine translation. The Association for Computer Linguistics, pp. 47--52."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1613715.1613734"},{"key":"e_1_3_2_1_3_1","unstructured":"Berkeley aligner. https:\/\/code.google.com\/p\/berkeleyaligner\/.  Berkeley aligner. https:\/\/code.google.com\/p\/berkeleyaligner\/."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the NAACL HLT 2010 Demonstration Session","author":"CER D.","year":"2010","unstructured":"CER , D. , GALLEY , M. , JURAFSKY , D. , AND MANNING , C. D. Phrasal : A statistical machine translation toolkit for exploring new model features . In Proceedings of the NAACL HLT 2010 Demonstration Session ( Los Angeles, California , June 2010 ), Association for Computational Linguistics, pp. 9--12. CER, D., GALLEY, M., JURAFSKY, D., AND MANNING, C. D. Phrasal: A statistical machine translation toolkit for exploring new model features. In Proceedings of the NAACL HLT 2010 Demonstration Session (Los Angeles, California, June 2010), Association for Computational Linguistics, pp. 9--12."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337322"},{"key":"e_1_3_2_1_6_1","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"HOPCROFT J. E.","year":"1979","unstructured":"HOPCROFT , J. E. , AND ULLMAN , J. D. Introduction to Automata Theory, Languages and Computation . Addison-Wesley , 1979 . HOPCROFT, J. E., AND ULLMAN, J. D. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979."},{"key":"e_1_3_2_1_7_1","volume-title":"Statistical Machine Translation","author":"KOEHN P.","year":"2010","unstructured":"KOEHN , P. Statistical Machine Translation , 1 st ed. Cambridge University Press , New York, NY, USA , 2010 . KOEHN, P. Statistical Machine Translation, 1st ed. Cambridge University Press, New York, NY, USA, 2010.","edition":"1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3115\/1073445.1073462"},{"key":"e_1_3_2_1_9_1","first-page":"384","volume-title":"LREC","author":"KUNCHUKUTTAN A.","year":"2012","unstructured":"KUNCHUKUTTAN , A. , ROY , S. , PATEL , P. , LADHA , K. , GUPTA , S. , KHAPRA , M. M. , AND BHATTACHARYYA , P. Experiences in resource generation for machine translation through crowdsourcing . In LREC ( 2012 ), pp. 384 -- 391 . KUNCHUKUTTAN, A., ROY, S., PATEL, P., LADHA, K., GUPTA, S., KHAPRA, M. M., AND BHATTACHARYYA, P. Experiences in resource generation for machine translation through crowdsourcing. In LREC (2012), pp. 384--391."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1613715.1613807"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2494584"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3115\/1075096.1075117"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.3115\/1073083.1073133"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3115\/1073083.1073135"},{"key":"e_1_3_2_1_15_1","volume-title":"Pragmatic Bookshelf","author":"PARR T.","year":"2013","unstructured":"PARR , T. The Definitive ANTLR 4 Reference . Pragmatic Bookshelf , 2013 . PARR, T. The Definitive ANTLR 4 Reference. Pragmatic Bookshelf, 2013."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509544"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594321"},{"key":"e_1_3_2_1_18_1","volume-title":"In Proceedings of MT Summit IIX Senellart J., Yang J., Rebollo A. 2003. SYSTRAN Intuitive Coding Technology. In Proceedings of MT Summit IX","author":"SENELLART J.","year":"2001","unstructured":"SENELLART , J. , DIENES , P. , AND VRADI , T. New generation systran translation system . In In Proceedings of MT Summit IIX Senellart J., Yang J., Rebollo A. 2003. SYSTRAN Intuitive Coding Technology. In Proceedings of MT Summit IX ( 2001 ). SENELLART, J., DIENES, P., AND VRADI, T. New generation systran translation system. In In Proceedings of MT Summit IIX Senellart J., Yang J., Rebollo A. 2003. SYSTRAN Intuitive Coding Technology. In Proceedings of MT Summit IX (2001)."},{"key":"e_1_3_2_1_19_1","volume-title":"A. SRILM-an Extensible Language Modeling Toolkit. International Conference on Spoken Language Processing","author":"STOLCKE","year":"2002","unstructured":"STOLCKE , A. SRILM-an Extensible Language Modeling Toolkit. International Conference on Spoken Language Processing ( 2002 ). STOLCKE, A. SRILM-an Extensible Language Modeling Toolkit. International Conference on Spoken Language Processing (2002)."}],"event":{"name":"SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Portland Oregon USA","acronym":"SPLASH '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"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.2661148","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2661136.2661148","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.2661148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,14]]},"references-count":19,"alternative-id":["10.1145\/2661136.2661148","10.1145\/2661136"],"URL":"https:\/\/doi.org\/10.1145\/2661136.2661148","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"}}]}}