{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:55:24Z","timestamp":1742914524127,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030588106"},{"type":"electronic","value":"9783030588113"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-58811-3_71","type":"book-chapter","created":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T08:04:50Z","timestamp":1601280290000},"page":"1002-1018","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["InDubio: A Combinator Library to Disambiguate Ambiguous Grammars"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0282-5060","authenticated-orcid":false,"given":"Jos\u00e9 Nuno","family":"Macedo","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5686-7151","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,29]]},"reference":[{"key":"71_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-662-46663-6_5","volume-title":"Compiler Construction","author":"A Afroozeh","year":"2015","unstructured":"Afroozeh, A., Izmaylova, A.: Faster, practical GLL parsing. In: Franke, B. (ed.) CC 2015. LNCS, vol. 9031, pp. 89\u2013108. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46663-6_5"},{"key":"71_CR2","volume-title":"Compilers: Principles, Techniques, and Tools","author":"AV Aho","year":"2006","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley, San Francisco (2006)","edition":"2"},{"key":"71_CR3","volume-title":"Modern Compiler Implementation in ML","author":"A Appel","year":"1998","unstructured":"Appel, A.: Modern Compiler Implementation in ML. Cambridge University Press, Cambridge (1998)"},{"key":"71_CR4","unstructured":"Backus, J.W.: The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. In: IFIP Congress, pp. 125\u2013131 (1959)"},{"key":"71_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45937-5_12","volume-title":"Compiler Construction","author":"MGJ van den Brand","year":"2002","unstructured":"van den Brand, M.G.J., Scheerder, J., Vinju, J.J., Visser, E.: Disambiguation filters for scannerless generalized LR parsers. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol. 2304, pp. 143\u2013158. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45937-5_12"},{"issue":"4","key":"71_CR6","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1988042.1988046","volume":"46","author":"K Claessen","year":"2011","unstructured":"Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of Haskell programs. ACM Sigplan Not. 46(4), 53\u201364 (2011)","journal-title":"ACM Sigplan Not."},{"key":"71_CR7","unstructured":"Fernandes, J.P., Saraiva, J., Visser, J.: Generalised LR Parsing in Haskell (2004)"},{"key":"71_CR8","unstructured":"Johnson, S.C.: Yacc: yet another compiler-compiler (1979)"},{"key":"71_CR9","doi-asserted-by":"crossref","unstructured":"Johnstone, A., Scott, E., Economopoulos, G.: Generalised parsing: some costs, March 2004","DOI":"10.1007\/978-3-540-24723-4_7"},{"key":"71_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/3-540-45251-6_32","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"R L\u00e4mmel","year":"2001","unstructured":"L\u00e4mmel, R.: Grammar adaptation. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, pp. 550\u2013570. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45251-6_32"},{"key":"71_CR11","unstructured":"Marlow, S., Gil, A.: Happy user guide (2001)"},{"key":"71_CR12","unstructured":"O\u2019Sullivan, B.: Criterion: a Haskell microbenchmarking library (2009). http:\/\/www.serpentine.com\/criterion\/"},{"key":"71_CR13","doi-asserted-by":"crossref","unstructured":"Parr, T., Fisher, K.: Ll(*): the foundation of the ANTLR parser generator. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, pp. 425\u2013436. ACM, New York (2011)","DOI":"10.1145\/1993316.1993548"},{"issue":"10","key":"71_CR14","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1145\/2714064.2660202","volume":"49","author":"T Parr","year":"2014","unstructured":"Parr, T., Harwell, S., Fisher, K.: Adaptive ll (*) parsing: the power of dynamic analysis. ACM SIGPLAN Not. 49(10), 579\u2013598 (2014)","journal-title":"ACM SIGPLAN Not."},{"volume-title":"Software Metrics: An Analysis and Evaluation","year":"1981","key":"71_CR15","unstructured":"Perlis, A.J., Shaw, M., Sayward, F. (eds.): Software Metrics: An Analysis and Evaluation. MIT Press, Cambridge (1981)"},{"key":"71_CR16","doi-asserted-by":"crossref","unstructured":"Salomon, D.J., Cormack, G.V.: Scannerless NSLR(1) parsing of programming languages. In: Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI 1989), pp. 170\u2013178. ACM (1989)","DOI":"10.1145\/74818.74833"},{"key":"71_CR17","unstructured":"Saraiva, J.: HaLeX: a Haskell library to model, manipulate and animate regular languages. In: Hanus, M., Krishnamurthi, S., Thompson, S. (eds.) Proceedings of the ACM Workshop on Functional and Declarative Programming in Education, pp. 133\u2013140. University of Kiel Technical report 0210, September 2002"},{"key":"71_CR18","doi-asserted-by":"publisher","unstructured":"Saraiva, J., Swierstra, D.: Data Structure Free Compilation. In: J\u00e4hnichen, S. (ed.) CC 1999. LNCS, vol. 1575, pp. 1\u201316. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-540-49051-7_1","DOI":"10.1007\/978-3-540-49051-7_1"},{"key":"71_CR19","unstructured":"Saraiva, J., Swierstra, D.: Generic attribute grammars. In: Parigot, D., Mernik, M. (eds.) 2nd Workshop on Attribute Grammars and their Applications, WAGA 1999, pp. 185\u2013204. INRIA Rocquencourt, March 1999"},{"key":"71_CR20","unstructured":"Schmidt, U., Schmidt, M., Kuseler, T.: HXT: a collection of tools for processing xml with Haskell (2016). https:\/\/github.com\/UweSchmidt\/hxt"},{"issue":"7","key":"71_CR21","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.entcs.2010.08.041","volume":"253","author":"E Scott","year":"2010","unstructured":"Scott, E., Johnstone, A.: Gll parsing. Electron. Notes Theoret. Comput. Sci. 253(7), 177\u2013189 (2010)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"10","key":"71_CR22","doi-asserted-by":"publisher","first-page":"1828","DOI":"10.1016\/j.scico.2012.03.005","volume":"78","author":"E Scott","year":"2013","unstructured":"Scott, E., Johnstone, A.: Gll parse-tree generation. Sci. Comput. Program. 78(10), 1828\u20131844 (2013)","journal-title":"Sci. Comput. Program."},{"key":"71_CR23","volume-title":"Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems","author":"M Tomita","year":"1985","unstructured":"Tomita, M.: Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems. Kluwer Academic Publishers, Norwell (1985)"},{"key":"71_CR24","unstructured":"Tomita, M.: Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems, vol. 8. Springer Science & Business Media, New York (1985)"},{"key":"71_CR25","unstructured":"Zhu, Z., Ko, H., Martins, P., Saraiva, J., Hu, Z.: Biyacc: roll your parser and reflective printer into one. In: Proceedings of the 4th International Workshop on Bidirectional, L\u2019Aquila, Italy, 24 July 2015, pp. 43\u201350 (2015)"},{"issue":"3","key":"71_CR26","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s00354-019-00082-y","volume":"38","author":"Z Zhu","year":"2020","unstructured":"Zhu, Z., Ko, H.-S., Zhang, Y., Martins, P., Saraiva, J., Hu, Z.: Unifying parsing and reflective printing for fully disambiguated grammars. New Gener. Comput. 38(3), 423\u2013476 (2020). https:\/\/doi.org\/10.1007\/s00354-019-00082-y","journal-title":"New Gener. Comput."},{"key":"71_CR27","doi-asserted-by":"crossref","unstructured":"Zhu, Z., Zhang, Y., Ko, H.S., Martins, P., Saraiva, J.A., Hu, Z.: Parsing and reflective printing, bidirectionally. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2016, pp. 2\u201314. ACM (2016)","DOI":"10.1145\/2997364.2997369"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2020"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58811-3_71","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T13:32:55Z","timestamp":1619184775000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58811-3_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030588106","9783030588113"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58811-3_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"29 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cagliari","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Cyber chair 4","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1450","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"466","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Conference was held virtually due to COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}