{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:32Z","timestamp":1750220672281,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,1,17]],"date-time":"2021-01-17T00:00:00Z","timestamp":1610841600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"JSPS KAKENHI","award":["20K11752"],"award-info":[{"award-number":["20K11752"]}]},{"name":"NRF of Korea","award":["2019R1I1A3A01058608"],"award-info":[{"award-number":["2019R1I1A3A01058608"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,1,18]]},"DOI":"10.1145\/3441296.3441395","type":"proceedings-article","created":{"date-parts":[[2020,12,23]],"date-time":"2020-12-23T00:32:44Z","timestamp":1608683564000},"page":"32-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A text-based syntax completion method using LR parsing"],"prefix":"10.1145","author":[{"given":"Isao","family":"Sasano","sequence":"first","affiliation":[{"name":"Shibaura Institute of Technology, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kwanghoon","family":"Choi","sequence":"additional","affiliation":[{"name":"Chonnam National University, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,1,17]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2007","unstructured":"Alfred V. Aho , Monica S. Lam , Ravi Sethi , and Jefrey D . Ullman . 2007 . Compilers-principles, techniques, and tools, 2 nd edition. Addison Wesley . Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jefrey D. Ullman. 2007. Compilers-principles, techniques, and tools, 2nd edition. Addison Wesley.","edition":"2"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997374"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236798"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2400676.2400678"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2002.1134109"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8405-1_10"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49366-2_16"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159861.1159865"},{"key":"e_1_3_2_2_12_1","first-page":"111","article-title":"Systematic search for lambda expressions","author":"Katayama Susumu","year":"2005","unstructured":"Susumu Katayama . 2005 . Systematic search for lambda expressions . In Trends in Functional Programming. 111 - 126 . Susumu Katayama. 2005. Systematic search for lambda expressions. In Trends in Functional Programming. 111-126.","journal-title":"Trends in Functional Programming."},{"key":"e_1_3_2_2_13_1","volume-title":"Koopman and Rinus Plasmeijer","author":"Pieter W.","year":"2006","unstructured":"Pieter W. M. Koopman and Rinus Plasmeijer . 2006 . Systematic synthesis of functions. In Trends in Functional Programming (Trends in Functional Programming, Vol. 7 ), Henrik Nilsson (Ed.). Intellect , 35-54. Pieter W. M. Koopman and Rinus Plasmeijer. 2006. Systematic synthesis of functions. In Trends in Functional Programming (Trends in Functional Programming, Vol. 7 ), Henrik Nilsson (Ed.). Intellect, 35-54."},{"key":"e_1_3_2_2_14_1","first-page":"298","volume-title":"Proceedings of the 7th International Conference on Compiler Construction (CC '98)","author":"Matthijs","unstructured":"Matthijs F. Kuiper and Jo\u00e3o Saraiva. 1998. LRC-A generator for incremental language-oriented tools . In Proceedings of the 7th International Conference on Compiler Construction (CC '98) . Springer-Verlag, London, UK , 298 - 301 . htps:\/\/doi.org\/10.1007\/BFb0026440 10.1007\/BFb0026440 Matthijs F. Kuiper and Jo\u00e3o Saraiva. 1998. LRC-A generator for incremental language-oriented tools. In Proceedings of the 7th International Conference on Compiler Construction (CC '98). Springer-Verlag, London, UK, 298-301. htps:\/\/doi.org\/10.1007\/BFb0026440"},{"key":"e_1_3_2_2_15_1","first-page":"255","volume-title":"Proceedings of the 2nd International Colloquium on Automata, Languages and Programming (ICALP '74)","volume":"14","author":"Lang Bernard","year":"1974","unstructured":"Bernard Lang . 1974 . Deterministic techniques for eficient nondeterministic parsers . In Proceedings of the 2nd International Colloquium on Automata, Languages and Programming (ICALP '74) (Lecture Notes in Computer Science , Vol. 14 ). Springer-Verlag, 255 - 269 . htps:\/\/doi.org\/10.1007\/978-3-662-21545-6_18 10.1007\/978-3-662-21545-6_18 Bernard Lang. 1974. Deterministic techniques for eficient nondeterministic parsers. In Proceedings of the 2nd International Colloquium on Automata, Languages and Programming (ICALP '74) (Lecture Notes in Computer Science, Vol. 14 ). Springer-Verlag, 255-269. htps:\/\/doi.org\/10.1007\/978-3-662-21545-6_18"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5626\/JOK.2020.47.1.52"},{"key":"e_1_3_2_2_18_1","volume-title":"Necula","author":"McPeak Scott","year":"2004","unstructured":"Scott McPeak and George C . Necula . 2004 . Elkhound : A fast, practical GLR parser generator. In Compiler Construction, Evelyn Duesterwald (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg, 73-88. htps: \/\/doi.org\/10.1007\/978-3-540-24723-4_6 10.1007\/978-3-540-24723-4_6 Scott McPeak and George C. Necula. 2004. Elkhound: A fast, practical GLR parser generator. In Compiler Construction, Evelyn Duesterwald (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 73-88. htps: \/\/doi.org\/10.1007\/978-3-540-24723-4_6"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034801"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993548"},{"key":"e_1_3_2_2_21_1","volume-title":"33rd European Conference on Object-Oriented Programming (ECOOP 2019 ) (Leibniz International Proceedings in Informatics (LIPIcs)","volume":"134","author":"Pelsmaeker Daniel A. A.","year":"2019","unstructured":"Daniel A. A. Pelsmaeker , Hendrik van Antwerpen , and Eelco Visser . 2019 . Towards language-parametric semantic editor services based on declarative type system specifications (Brave new idea paper) . In 33rd European Conference on Object-Oriented Programming (ECOOP 2019 ) (Leibniz International Proceedings in Informatics (LIPIcs) , Vol. 134 ), Alastair F. Donaldson (Ed.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 26 : 1-26 : 18. htps:\/\/doi.org\/10.1145\/ 3359061.3362782 Daniel A. A. Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser. 2019. Towards language-parametric semantic editor services based on declarative type system specifications (Brave new idea paper). In 33rd European Conference on Object-Oriented Programming (ECOOP 2019 ) (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 134 ), Alastair F. Donaldson (Ed.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 26 : 1-26 : 18. htps:\/\/doi.org\/10.1145\/ 3359061.3362782"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254098"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/800020.808247"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99384"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.42"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99383"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/645435.652650"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.bict.2014.257909"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372884.3373158"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"crossref","unstructured":"Isao Sasano and Takumi Goto. 2013. An approach to completing variable names for implicitly typed functional languages. HigherOrder and Symbolic Computation 25 1 ( 2013 ) 127-163. htps:\/\/doi. org\/10.1007\/s10990-013-9095-x  Isao Sasano and Takumi Goto. 2013. An approach to completing variable names for implicitly typed functional languages. HigherOrder and Symbolic Computation 25 1 ( 2013 ) 127-163. htps:\/\/doi. org\/10.1007\/s10990-013-9095-x","DOI":"10.1007\/s10990-013-9095-x"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359061.3361085"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136014.3136034"},{"key":"e_1_3_2_2_33_1","volume-title":"Eficient parsing for natural language: A fast algorithm for practical systems","author":"Tomita Masaru","year":"1885","unstructured":"Masaru Tomita . 1985. Eficient parsing for natural language: A fast algorithm for practical systems . Kluwer Academic Publishers . htps: \/\/doi.org\/10.1007\/978-1-4757- 1885 -0 10.1007\/978-1-4757-1885-0 Masaru Tomita. 1985. Eficient parsing for natural language: A fast algorithm for practical systems. Kluwer Academic Publishers. htps: \/\/doi.org\/10.1007\/978-1-4757-1885-0"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74830"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/293677.293678"}],"event":{"name":"POPL '21: The 48th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Denmark","acronym":"POPL '21"},"container-title":["Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3441296.3441395","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3441296.3441395","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:04Z","timestamp":1750197784000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3441296.3441395"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,17]]},"references-count":32,"alternative-id":["10.1145\/3441296.3441395","10.1145\/3441296"],"URL":"https:\/\/doi.org\/10.1145\/3441296.3441395","relation":{},"subject":[],"published":{"date-parts":[[2021,1,17]]},"assertion":[{"value":"2021-01-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}