{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T06:04:36Z","timestamp":1726034676794},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030232498"},{"type":"electronic","value":"9783030232504"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-23250-4_13","type":"book-chapter","created":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T03:01:17Z","timestamp":1562036477000},"page":"187-204","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["BNF-Style Notation as It Is Actually Used"],"prefix":"10.1007","author":[{"given":"Dee","family":"Quinlan","sequence":"first","affiliation":[]},{"given":"Joe B.","family":"Wells","sequence":"additional","affiliation":[]},{"given":"Fairouz","family":"Kamareddine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,3]]},"reference":[{"key":"13_CR1","unstructured":"Backus, J.W.: The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. In: IFIP Congress (1959). \n                    https:\/\/dblp.uni-trier.de\/db\/conf\/ifip\/ifip1959.html"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/366193.366201","volume":"6","author":"JW Backus","year":"1963","unstructured":"Backus, J.W., et al.: Revised report on the algorithm language ALGOL 60. Commun. ACM 6(1), 1\u201317 (1963)","journal-title":"Commun. ACM"},{"key":"13_CR3","volume-title":"Combinatorics on Words. Christoffel Words and Repetitions in Words","author":"J Berstel","year":"2009","unstructured":"Berstel, J., Lauve, A., Reutenauer, C., Saliola, F.V.: Combinatorics on Words. Christoffel Words and Repetitions in Words. American Mathematical Society (AMS), Providence (2009)"},{"key":"13_CR4","unstructured":"Chang, S., Felleisen, M.: The call-by-need lambda calculus, revisited. In: Seidl [30]"},{"issue":"3","key":"13_CR5","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/TIT.1956.1056813","volume":"2","author":"N Chomsky","year":"1956","unstructured":"Chomsky, N.: Three models for the description of language. IRE Trans. Inf. Theory 2(3), 113\u2013124 (1956)","journal-title":"IRE Trans. Inf. Theory"},{"key":"13_CR6","unstructured":"Crocker, D., Overell, P. (ed.): Augmented BNF for syntax specifications: ABNF. Internet Requests for Comments (2008). \n                    http:\/\/www.rfc-editor.org\/info\/rfc5234"},{"key":"13_CR7","unstructured":"Dolan, S., Mycroft, A.: Polymorphism, subtyping, and type inference in MLsub. In: Fluet [11]"},{"key":"13_CR8","unstructured":"Eberhart, C., Hirschowitz, T., Seiller, T.: An intensionally fully-abstract sheaf model for \n                    \n                      \n                    \n                    $$\\pi ^\\ast $$\n                  . In: Moss, L.S., Sobocinski, P., (eds.) 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), vol. 35 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany (2015). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik"},{"key":"13_CR9","unstructured":"Farmer, W.M.: The formalization of syntax-based mathematical algorithms using quotation and evaluation. CoRR, abs\/1305.6052 (2013). \n                    http:\/\/arxiv.org\/abs\/1305.6052"},{"key":"13_CR10","unstructured":"Farrel, A.: Routing Backus-Naur form (RBNF): A syntax used to form encoding rules in various routing protocol specifications. RFC 5511, RFC Editor (2009). \n                    https:\/\/tools.ietf.org\/html\/rfc5511"},{"key":"13_CR11","unstructured":"Fluet, M., (ed.): POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ACM, New York (2017)"},{"key":"13_CR12","unstructured":"Ford, B.: Parsing expression grammars: a recognition-based syntactic foundation. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, ACM, New York (2004). \n                    http:\/\/doi.acm.org\/10.1145\/964001.964011"},{"key":"13_CR13","unstructured":"Forsberg, M., Ranta, A.: The labelled BNF grammar formalism (2005)"},{"key":"13_CR14","unstructured":"Germane, K., Might, M.: A posteriori environment analysis with pushdown delta CFA. In: Fluet [11]"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.scico.2017.08.001","volume":"155","author":"S Grewe","year":"2018","unstructured":"Grewe, S., Erdweg, S., Pacak, A., Raulf, M., Mezini, M.: Exploration of language specifications by compilation to first-order logic. Sci. Comput. Program. 155, 146\u2013172 (2018)","journal-title":"Sci. Comput. Program."},{"key":"13_CR16","unstructured":"Grigore, R.: Java generics are turing complete. In: Fluet [11]"},{"key":"13_CR17","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"2006","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2006)","edition":"3"},{"key":"13_CR18","unstructured":"Inoue, J., Taha, W.: Reasoning about multi-stage programs. In: Seidl [30]"},{"key":"13_CR19","unstructured":"Ion, P.D.F., Poppelier, N., Carlisle, D., Miner, R.R.: Mathematical markup language (MathML) version 2.0. W3C recommendation, W3C (2001). \n                    https:\/\/www.w3.org\/TR\/MathML2\/chapter3.html"},{"key":"13_CR20","unstructured":"ISO: Information technology - Syntactic metalanguage - Extended BNF. Standard, International Organization for Standardization, Geneva, CH (1996)"},{"key":"13_CR21","unstructured":"ISO: Information technology - Open Document Format for Office Applications (OpenDocument) v1.2 - Part 1: OpenDocument Schema. Standard, International Organization for Standardization, Geneva, CH (2015)"},{"key":"13_CR22","volume-title":"The TeXbook","author":"DE Knuth","year":"1986","unstructured":"Knuth, D.E.: The TeXbook. Addison-Wesley Professional, Boston (1986)"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1007\/BFb0002780","volume-title":"Euro-Par\u201997 Parallel Processing","author":"LF Llana D\u00edaz","year":"1997","unstructured":"Llana D\u00edaz, L.F., N\u00fa\u00f1ez, M.: Testing semantics for unbounded nondeterminism. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds.) Euro-Par 1997. LNCS, vol. 1300, pp. 538\u2013545. Springer, Heidelberg (1997). \n                    https:\/\/doi.org\/10.1007\/BFb0002780"},{"issue":"4","key":"13_CR24","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/1147214.1147218","volume":"41","author":"PB Mann","year":"2006","unstructured":"Mann, P.B.: A translational BNF grammar notation (TBNF). SIGPLAN Not. 41(4), 16\u201323 (2006)","journal-title":"SIGPLAN Not."},{"issue":"1","key":"13_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i. Inf. Comput. 100(1), 1\u201340 (1992). \n                    https:\/\/doi.org\/10.1016\/0890-5401(92)90008-4","journal-title":"Inf. Comput."},{"key":"13_CR26","doi-asserted-by":"publisher","unstructured":"Pfenning, F., Elliott, C.: Higher-order abstract syntax. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, PLDI 1988. ACM, New York (1988) \n                    https:\/\/doi.org\/10.1145\/53990.54010","DOI":"10.1145\/53990.54010"},{"key":"13_CR27","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages, 1st edn. The MIT Press, Cambridge (2002)","edition":"1"},{"issue":"2","key":"13_CR28","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/S0956796803004738","volume":"14","author":"A Ranta","year":"2004","unstructured":"Ranta, A.: Grammatical framework. J. Funct. Program. 14(2), 145\u2013189 (2004). \n                    https:\/\/doi.org\/10.1017\/S0956796803004738","journal-title":"J. Funct. Program."},{"key":"13_CR29","volume-title":"Theories of Programming Languages","author":"JC Reynolds","year":"2009","unstructured":"Reynolds, J.C.: Theories of Programming Languages, 1st edn. Cambridge University Press, New York (2009)","edition":"1"},{"volume-title":"Programming Languages and Systems","year":"2012","key":"13_CR30","unstructured":"Seidl, H. (ed.): Programming Languages and Systems. Springer, Heidelberg (2012)"},{"issue":"9","key":"13_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1291220.1291155","volume":"42","author":"P Sewell","year":"2007","unstructured":"Sewell, P., et al.: Ott: effective tool support for the working semanticist. SIGPLAN Not. 42(9), 1\u201312 (2007)","journal-title":"SIGPLAN Not."},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"Steele Jr., G.L.: It\u2019s time for a new old language. In: Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2017. ACM, New York (2017)","DOI":"10.1145\/3018743.3018773"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Tobisawa, K.: A meta lambda calculus with cross-level computation. In: POPL 2015 (2015)","DOI":"10.1145\/2676726.2676976"},{"key":"13_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-29822-6_23","volume-title":"Functional and Logic Programming","author":"N Toronto","year":"2012","unstructured":"Toronto, N., McCarthy, J.: Computing in Cantor\u2019s paradise with \n                    \n                      \n                    \n                    $${\\uplambda }_{\\rm ZFC}$$\n                  . In: Schrijvers, T., Thiemann, P. (eds.) FLOPS 2012. LNCS, vol. 7294, pp. 290\u2013306. Springer, Heidelberg (2012). \n                    https:\/\/doi.org\/10.1007\/978-3-642-29822-6_23"},{"key":"13_CR35","unstructured":"Zaytsev, V.: The grammar hammer of 2012. CoRR, abs\/1212.4446 (2012). \n                    https:\/\/arxiv.org\/abs\/1212.4446"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-23250-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T03:05:35Z","timestamp":1562036735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-23250-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030232498","9783030232504"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23250-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CICM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computer Mathematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mkm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cicm-conference.org\/2019\/cicm.php?event=&menu=general","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}