{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:54:14Z","timestamp":1760043254627,"version":"3.40.3"},"publisher-location":"Cham","reference-count":53,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030171834"},{"type":"electronic","value":"9783030171841"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-17184-1_11","type":"book-chapter","created":{"date-parts":[[2019,4,6]],"date-time":"2019-04-06T17:34:04Z","timestamp":1554572044000},"page":"293-321","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On the Multi-Language Construction"],"prefix":"10.1007","author":[{"given":"Samuele","family":"Buro","sequence":"first","affiliation":[]},{"given":"Isabella","family":"Mastroeni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,4,6]]},"reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Pierce, B.C., Plotkin, G.D.: Dynamic typing in a statically typed language. ACM Trans. Program. Lang. Syst. 13(2), 237\u2013268 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"9","key":"11_CR2","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/2034574.2034830","volume":"46","author":"A Ahmed","year":"2011","unstructured":"Ahmed, A., Blume, M.: An equivalence-preserving CPS translation via multi-language semantics. SIGPLAN Not. 46(9), 431\u2013444 (2011)","journal-title":"SIGPLAN Not."},{"key":"11_CR3","unstructured":"Alencar, A.J., Goguen, J.A.: Object-oriented specification case studies. In: Lano, K., Haughton, H. (eds.) Specification in OOZE with Examples, pp. 158\u2013183. Prentice Hall International (UK) Ltd., Hertfordshire (1994)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Barrett, E., Bolz, C.F., Tratt, L.: Unipycation: a case study in cross-language tracing. In: Proceedings of the 7th ACM Workshop on Virtual Machines and Intermediate Languages, pp. 31\u201340. ACM, New York (2013)","DOI":"10.1145\/2542142.2542146"},{"key":"11_CR5","first-page":"199","volume":"44","author":"E Barrett","year":"2015","unstructured":"Barrett, E., Bolz, C.F., Tratt, L.: Approaches to interpreter composition. Comput. Lang. Syst. Struct. 44, 199\u2013217 (2015)","journal-title":"Comput. Lang. Syst. Struct."},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0743-1066(94)90049-3","volume":"18","author":"C Beierle","year":"1994","unstructured":"Beierle, C., Meyer, G.: Run-time type computations in the Warren abstract machine. J. Log. Program. 18(2), 123\u2013148 (1994)","journal-title":"J. Log. Program."},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1017\/S0956796804005398","volume":"15","author":"N Benton","year":"2005","unstructured":"Benton, N.: Embedded interpreters. J. Funct. Program. 15(4), 503\u2013542 (2005)","journal-title":"J. Funct. Program."},{"issue":"12","key":"11_CR8","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/2534706.2534719","volume":"56","author":"D Chisnall","year":"2013","unstructured":"Chisnall, D.: The challenge of cross-language interoperability. Commun. ACM 56(12), 50\u201356 (2013)","journal-title":"Commun. ACM"},{"key":"11_CR9","volume-title":"The Scheme Programming Language","author":"RK Dybvig","year":"2009","unstructured":"Dybvig, R.K.: The Scheme Programming Language, 4th edn. The MIT Press, Cambridge (2009)","edition":"4"},{"key":"11_CR10","series-title":"Workshops in Computing","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-1-4471-3227-1_17","volume-title":"Algebraic Methodology and Software Technology (AMAST 1993)","author":"M Erwig","year":"1994","unstructured":"Erwig, M.: Specifying type systems with multi-level order-sorted algebra. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) Algebraic Methodology and Software Technology (AMAST 1993). WORKSHOPS COMP., pp. 177\u2013184. Springer, London (1994). \n                      https:\/\/doi.org\/10.1007\/978-1-4471-3227-1_17"},{"issue":"5","key":"11_CR11","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1109\/69.317707","volume":"6","author":"M Erwig","year":"1994","unstructured":"Erwig, M., G\u00fcting, R.H.: Explicit graphs in a functional model for spatial databases. IEEE Trans. Knowl. Data Eng. 6(5), 787\u2013804 (1994)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming, ICFP 2002, pp. 48\u201359. ACM, New York (2002)","DOI":"10.1145\/583852.581484"},{"key":"11_CR13","volume-title":"JavaScript: The Definitive Guide","author":"D Flanagan","year":"2006","unstructured":"Flanagan, D.: JavaScript: The Definitive Guide. O\u2019Reilly Media Inc., Sebastopol (2006)"},{"issue":"6","key":"11_CR14","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/1064978.1065019","volume":"40","author":"M Furr","year":"2005","unstructured":"Furr, M., Foster, J.S.: Checking type safety of foreign function calls. SIGPLAN Not. 40(6), 62\u201372 (2005)","journal-title":"SIGPLAN Not."},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"JA Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial algebra semantics and continuous algebras. J. ACM 24(1), 68\u201395 (1977)","journal-title":"J. ACM"},{"key":"11_CR16","unstructured":"Goguen, J.: Tossing algebraic flowers down the great divide (1999)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-07142-3_75","volume-title":"Category Theory Applied to Computation and Control","author":"JA Goguen","year":"1975","unstructured":"Goguen, J.A.: Semantics of computation. In: Manes, E.G. (ed.) Category Theory Applied to Computation and Control. LNCS, vol. 25, pp. 151\u2013163. Springer, Heidelberg (1975). \n                      https:\/\/doi.org\/10.1007\/3-540-07142-3_75"},{"issue":"3","key":"11_CR18","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1017\/S0960129500000517","volume":"4","author":"JA Goguen","year":"1994","unstructured":"Goguen, J.A., Diaconescu, R.: An oxford survey of order sorted algebra. Math. Struct. Comput. Sci. 4(3), 363\u2013392 (1994)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"11_CR19","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Meseguer, J.: Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theor. Comput. Sci. 105(2), 217\u2013273 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Syme, D.: Typing a multi-language intermediate code. In: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, 17\u201319 January 2001, pp. 248\u2013260. ACM, New York (2001)","DOI":"10.1145\/373243.360228"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-70592-5_4","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"KE Gray","year":"2008","unstructured":"Gray, K.E.: Safe cross-language inheritance. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 52\u201375. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-70592-5_4"},{"issue":"2","key":"11_CR22","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/3201898","volume":"40","author":"M Grimmer","year":"2018","unstructured":"Grimmer, M., Schatz, R., Seaton, C., W\u00fcrthinger, T., Luj\u00e1n, M.: Cross-language interoperability in a multi-language runtime. ACM Trans. Program. Lang. Syst. 40(2), 8:1\u20138:43 (2018)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Grimmer, M., Seaton, C., Schatz, R., W\u00fcrthinger, T., M\u00f6ssenb\u00f6ck, H.: High-performance cross-language interoperability in a multi-language runtime. In: Proceedings of the 11th Symposium on Dynamic Languages, DLS 2015, Part of SPLASH 2015, Pittsburgh, PA, USA, 25\u201330 October 2015, pp. 78\u201390. ACM, New York (2015)","DOI":"10.1145\/2816707.2816714"},{"issue":"2","key":"11_CR24","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0304-3975(96)00323-4","volume":"183","author":"AE Haxthausen","year":"1997","unstructured":"Haxthausen, A.E.: Order-sorted algebraic specifications with higher-order functions. Theor. Comput. Sci. 183(2), 157\u2013185 (1997)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"11_CR25","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1006\/jsco.1995.1005","volume":"19","author":"AC Hearn","year":"1995","unstructured":"Hearn, A.C., Schr\u00fcfer, E.: A computer algebra system based on order-sorted algebra. J. Symb. Comput. 19(1), 65\u201377 (1995)","journal-title":"J. Symb. Comput."},{"key":"11_CR26","unstructured":"Henglein, F., Rehof, J.: Safe polymorphic type inference for scheme: translating scheme to ML. In: Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture, FPCA 1995, La Jolla, California, USA, 25\u201328 June 1995, pp. 192\u2013203. ACM, New York (1995)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-73228-0_16","volume-title":"Typed Lambda Calculi and Applications","author":"P Johann","year":"2007","unstructured":"Johann, P., Ghani, N.: Initial algebra semantics is enough!. In: Della Rocca, S.R. (ed.) TLCA 2007. LNCS, vol. 4583, pp. 207\u2013222. Springer, Heidelberg (2007). \n                      https:\/\/doi.org\/10.1007\/978-3-540-73228-0_16"},{"key":"11_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-2528-7","volume-title":"The Definitive Guide to Jython: Python for the Java Platform","author":"J Juneau","year":"2010","unstructured":"Juneau, J., Baker, J., Wierzbicki, F., Soto, L., Ng, V.: The Definitive Guide to Jython: Python for the Java Platform, 1st edn. Apress, Berkely (2010)","edition":"1"},{"key":"11_CR29","volume-title":"Java Native Interface: Programmer\u2019s Guide and Reference","author":"S Liang","year":"1999","unstructured":"Liang, S.: Java Native Interface: Programmer\u2019s Guide and Reference, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)","edition":"1"},{"issue":"1","key":"11_CR30","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1190215.1190220","volume":"42","author":"J Matthews","year":"2007","unstructured":"Matthews, J., Findler, R.B.: Operational semantics for multi-language programs. SIGPLAN Not. 42(1), 3\u201310 (2007)","journal-title":"SIGPLAN Not."},{"issue":"1","key":"11_CR31","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.entcs.2005.10.027","volume":"156","author":"J Meseguer","year":"2006","unstructured":"Meseguer, J., Rosu, G.: The rewriting logic semantics project. Electr. Notes Theor. Comput. Sci. 156(1), 27\u201356 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"11_CR32","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR33","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"R Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Macqueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997)"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Ohori, A., Kato, K.: Semantics for communication primitives in a polymorphic language. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1993, pp. 99\u2013112. ACM, New York (1993)","DOI":"10.1145\/158511.158529"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Osera, P.M., Sj\u00f6berg, V., Zdancewic, S.: Dependent interoperability. In: Proceedings of the Sixth Workshop on Programming Languages Meets Program Verification, PLPV 2012, pp. 3\u201314. ACM, New York (2012)","DOI":"10.1145\/2103776.2103779"},{"issue":"6","key":"11_CR36","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1145\/3140587.3062347","volume":"52","author":"D Patterson","year":"2017","unstructured":"Patterson, D., Perconti, J., Dimoulas, C., Ahmed, A.: FunTAL: reasonably mixing a functional language with assembly. SIGPLAN Not. 52(6), 495\u2013509 (2017)","journal-title":"SIGPLAN Not."},{"key":"11_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-54833-8_8","volume-title":"Programming Languages and Systems","author":"JT Perconti","year":"2014","unstructured":"Perconti, J.T., Ahmed, A.: Verifying an open compiler using multi-language semantics. In: Shao, Z. (ed.) ESOP 2014. LNCS, vol. 8410, pp. 128\u2013148. Springer, Heidelberg (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-642-54833-8_8"},{"issue":"2","key":"11_CR38","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0022-0000(90)90013-B","volume":"40","author":"A Poign\u00e9","year":"1990","unstructured":"Poign\u00e9, A.: Parametrization for order-sorted algebraic specification. J. Comput. Syst. Sci. 40(2), 229\u2013268 (1990)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"11_CR39","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1016\/S0022-0000(05)80074-1","volume":"49","author":"Z Qian","year":"1994","unstructured":"Qian, Z.: Another look at parameterization for order-sorted algebraic specifications. J. Comput. Syst. Sci. 49(3), 620\u2013666 (1994)","journal-title":"J. Comput. Syst. Sci."},{"key":"11_CR40","doi-asserted-by":"crossref","unstructured":"Ramsey, N.: Embedding an interpreted language using higher-order functions and types. In: Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2003, pp. 6\u201314. ACM, New York (2003)","DOI":"10.1145\/858570.858571"},{"issue":"2","key":"11_CR41","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.entcs.2005.11.045","volume":"148","author":"N Ramsey","year":"2006","unstructured":"Ramsey, N.: ML module mania: a type-safe, separately compiled, extensible interpreter. Electron. Notes Theor. Comput. Sci. 148(2), 181\u2013209 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"11_CR42","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: Proceedings of the ACM Annual Conference - Volume 2, ACM 1972, pp. 717\u2013740. ACM, New York (1972)","DOI":"10.1145\/800194.805852"},{"issue":"3","key":"11_CR43","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/s001650200014","volume":"13","author":"E Robinson","year":"2002","unstructured":"Robinson, E.: Variations on algebra: monadicity and generalisations of equational therories. Form. Asp. Comput. 13(3), 308\u2013326 (2002)","journal-title":"Form. Asp. Comput."},{"key":"11_CR44","volume-title":"Microsoft JScript.Net Programming","author":"J Rogers","year":"2001","unstructured":"Rogers, J.: Microsoft JScript.Net Programming. Sams, Indianapolis (2001)"},{"key":"11_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024065","volume-title":"Computational Aspects of an Order-Sorted Logic with Term Declarations","year":"1989","unstructured":"Schmidt-Schau\u00df, M. (ed.): Computational Aspects of an Order-Sorted Logic with Term Declarations. LNCS, vol. 395. Springer, Heidelberg (1989). \n                      https:\/\/doi.org\/10.1007\/BFb0024065"},{"key":"11_CR46","volume-title":"Toward a Mathematical Semantics for Computer Languages","author":"DS Scott","year":"1971","unstructured":"Scott, D.S., Strachey, C.: Toward a Mathematical Semantics for Computer Languages, vol. 1. Oxford University Computing Laboratory, Programming Research Group, Oxford (1971)"},{"key":"11_CR47","volume-title":"Scripting in Java: Integrating with Groovy and JavaScript","author":"K Sharan","year":"2014","unstructured":"Sharan, K.: Scripting in Java: Integrating with Groovy and JavaScript, 1st edn. Apress, Berkely (2014)","edition":"1"},{"key":"11_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/3-540-45719-4_27","volume-title":"Algebraic Methodology and Software Technology","author":"JG Stell","year":"2002","unstructured":"Stell, J.G.: A framework for order-sorted algebra. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 396\u2013411. Springer, Heidelberg (2002). \n                      https:\/\/doi.org\/10.1007\/3-540-45719-4_27"},{"issue":"10","key":"11_CR49","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1297105.1297031","volume":"42","author":"G Tan","year":"2007","unstructured":"Tan, G., Morrisett, G.: Ilea: Inter-language analysis across Java and C. SIGPLAN Not. 42(10), 39\u201356 (2007)","journal-title":"SIGPLAN Not."},{"key":"11_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-49099-X_9","volume-title":"Programming Languages and Systems","author":"V Trifonov","year":"2002","unstructured":"Trifonov, V., Shao, Z.: Safe and principled language interoperation. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, pp. 128\u2013146. Springer, Heidelberg (2002). \n                      https:\/\/doi.org\/10.1007\/3-540-49099-X_9"},{"issue":"1","key":"11_CR51","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(92)90322-7","volume":"94","author":"U Waldmann","year":"1992","unstructured":"Waldmann, U.: Semantics of order-sorted specifications. Theor. Comput. Sci. 94(1), 1\u201335 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-55015-1_23","volume-title":"Deductive and Object-Oriented Databases","author":"RJ Wieringa","year":"1991","unstructured":"Wieringa, R.J.: A formalization of objects using equational dynamic logic. In: Delobel, C., Kifer, M., Masunaga, Y. (eds.) DOOD 1991. LNCS, vol. 566, pp. 431\u2013452. Springer, Heidelberg (1991). \n                      https:\/\/doi.org\/10.1007\/3-540-55015-1_23"},{"key":"11_CR53","doi-asserted-by":"crossref","unstructured":"Wrigstad, T., Nardelli, F.Z., Lebresne, S., \u00d6stlund, J., Vitek, J.: Integrating typed and untyped code in a scripting language. In: Hermenegildo, M.V., Palsberg, J. (eds.) Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, 17\u201323 January 2010, pp. 377\u2013388. ACM (2010)","DOI":"10.1145\/1706299.1706343"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17184-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T09:23:15Z","timestamp":1558344195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17184-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030171834","9783030171841"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17184-1_11","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":"6 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESOP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Programming","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 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esop2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2019\/esop","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"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"86","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"28","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"33% - 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"}},{"value":"3,2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"12","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}