{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:45:05Z","timestamp":1743144305522,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030500283"},{"type":"electronic","value":"9783030500290"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-50029-0_10","type":"book-chapter","created":{"date-parts":[[2020,6,9]],"date-time":"2020-06-09T23:03:55Z","timestamp":1591743835000},"page":"153-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SFJ: An Implementation of Semantic Featherweight Java"],"prefix":"10.1007","author":[{"given":"Artem","family":"Usov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9927-7875","authenticated-orcid":false,"given":"Ornela","family":"Dardha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,10]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","unstructured":"Aiken, A., Wimmers, E.L.: Type inclusion constraints and type inference. In: Proceedings of the Conference on Functional Programming Languages and Computer Architecture, FPCA, pp. 31\u201341. ACM, New York (1993). https:\/\/doi.org\/10.1145\/165180.165188","DOI":"10.1145\/165180.165188"},{"key":"10_CR2","doi-asserted-by":"publisher","unstructured":"Ancona, D., Corradi, A.: Semantic subtyping for imperative object-oriented languages. In: Visser, E., Smaragdakis, Y. (eds.) Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, pp. 568\u2013587. ACM (2016). https:\/\/doi.org\/10.1145\/2983990.2983992","DOI":"10.1145\/2983990.2983992"},{"key":"10_CR3","doi-asserted-by":"publisher","unstructured":"Ancona, D., Lagorio, G.: Coinductive subtyping for abstract compilation of object-oriented languages into horn formulas. In: Proceedings of the Symposium on Games, Automata, Logic, and Formal Verification, GANDALF, EPTCS, vol. 25, pp. 214\u2013230 (2010). https:\/\/doi.org\/10.4204\/EPTCS.25.20","DOI":"10.4204\/EPTCS.25.20"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-662-43951-7_6","volume-title":"Automata, Languages, and Programming","author":"M Bonsangue","year":"2014","unstructured":"Bonsangue, M., Rot, J., Ancona, D., de Boer, F., Rutten, J.: A coalgebraic foundation for coinductive union types. In: Esparza, J., Fraigniaud, P., Husfeldt, T., Koutsoupias, E. (eds.) ICALP 2014. LNCS, vol. 8573, pp. 62\u201373. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43951-7_6"},{"key":"10_CR5","doi-asserted-by":"publisher","unstructured":"Boyland, J., Castagna, G.: Parasitic methods: an implementation of multi-methods for Java. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages & Applications OOPSLA, pp. 66\u201376. ACM (1997). https:\/\/doi.org\/10.1145\/263698.263721","DOI":"10.1145\/263698.263721"},{"issue":"ICFP","key":"10_CR6","doi-asserted-by":"publisher","first-page":"41:1","DOI":"10.1145\/3110285","volume":"1","author":"G Castagna","year":"2017","unstructured":"Castagna, G., Lanvin, V.: Gradual typing with union and intersection types. Proc. ACM Program. Lang. 1(ICFP), 41:1\u201341:28 (2017). https:\/\/doi.org\/10.1145\/3110285","journal-title":"Proc. ACM Program. Lang."},{"issue":"1\u20133","key":"10_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.tcs.2008.01.049","volume":"398","author":"G Castagna","year":"2008","unstructured":"Castagna, G., Nicola, R.D., Varacca, D.: Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398(1\u20133), 217\u2013242 (2008). https:\/\/doi.org\/10.1016\/j.tcs.2008.01.049","journal-title":"Theor. Comput. Sci."},{"key":"10_CR8","doi-asserted-by":"publisher","unstructured":"Castagna, G., Petrucciani, T., Nguyen, K.: Set-theoretic types for polymorphic variants. In: Garrigue, J., Keller, G., Sumii, E. (eds.) Proceedings of the International Conference on Functional Programming, ICFP, pp. 378\u2013391. ACM (2016). https:\/\/doi.org\/10.1145\/2951913.2951928","DOI":"10.1145\/2951913.2951928"},{"key":"10_CR9","doi-asserted-by":"publisher","unstructured":"Chaudhuri, A., Vekris, P., Goldman, S., Roch, M., Levi, G.: Fast and precise type checking for Javascript. In: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, vol. 1, pp. 481\u20134830 (2017). https:\/\/doi.org\/10.1145\/3133872","DOI":"10.1145\/3133872"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/3-540-57887-0_121","volume-title":"Theoretical Aspects of Computer Software","author":"FM Damm","year":"1994","unstructured":"Damm, F.M.: Subtyping with union types, intersection types and recursive types. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol. 789, pp. 687\u2013706. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-57887-0_121"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-38592-6_6","volume-title":"Formal Techniques for Distributed Systems","author":"O Dardha","year":"2013","unstructured":"Dardha, O., Gorla, D., Varacca, D.: Semantic subtyping for objects and classes. In: Beyer, D., Boreale, M. (eds.) FMOODS\/FORTE -2013. LNCS, vol. 7892, pp. 66\u201382. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38592-6_6"},{"issue":"5","key":"10_CR12","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1093\/comjnl\/bxw080","volume":"60","author":"O Dardha","year":"2017","unstructured":"Dardha, O., Gorla, D., Varacca, D.: Semantic subtyping for objects and classes. Comput. J. 60(5), 636\u2013656 (2017). https:\/\/doi.org\/10.1093\/comjnl\/bxw080","journal-title":"Comput. J."},{"issue":"4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1391289.1391293","volume":"55","author":"A Frisch","year":"2008","unstructured":"Frisch, A., Castagna, G., Benzaken, V.: Semantic subtyping: dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55(4), 1\u201364 (2008). https:\/\/doi.org\/10.1145\/1391289.1391293","journal-title":"J. ACM"},{"issue":"3","key":"10_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/373243.360209","volume":"36","author":"H Hosoya","year":"2001","unstructured":"Hosoya, H., Pierce, B.C.: Regular expression pattern matching for XML. SIGPLAN Not. 36(3), 67\u201380 (2001). https:\/\/doi.org\/10.1145\/373243.360209","journal-title":"SIGPLAN Not."},{"issue":"2","key":"10_CR15","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: a statically typed XML processing language. ACM Trans. Internet Technol. 3(2), 117\u2013148 (2003). https:\/\/doi.org\/10.1145\/767193.767195","journal-title":"ACM Trans. Internet Technol."},{"issue":"1","key":"10_CR16","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/1053468.1053470","volume":"27","author":"H Hosoya","year":"2005","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. ACM Trans. Program. Lang. Syst. 27(1), 46\u201390 (2005). https:\/\/doi.org\/10.1145\/1053468.1053470","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"10_CR17","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3), 396\u2013450 (2001). https:\/\/doi.org\/10.1145\/503502.503505","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR18","unstructured":"King, G.: The Ceylon Language Specification, Version 1.3 (2016). https:\/\/ceylon-lang.org\/documentation\/1.3\/spec\/"},{"key":"10_CR19","unstructured":"Lindholm, T., Yellin, F., Bracha, G., Buckley, A.: Java Virtual Machine Specification, Java SE 7 Edition: Java Virt Mach Spec Java\\_3. Addison-Wesley (2013)"},{"issue":"6","key":"10_CR20","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"BH Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811\u20131841 (1994). https:\/\/doi.org\/10.1145\/197320.197383","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-70592-5_12","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"D Malayeri","year":"2008","unstructured":"Malayeri, D., Aldrich, J.: Integrating nominal and structural subtyping. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 260\u2013284. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70592-5_12"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-00590-9_8","volume-title":"Programming Languages and Systems","author":"D Malayeri","year":"2009","unstructured":"Malayeri, D., Aldrich, J.: Is structural subtyping useful? An empirical study. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 95\u2013111. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00590-9_8"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3276482","volume":"2","author":"F Muehlboeck","year":"2018","unstructured":"Muehlboeck, F., Tate, R.: Empowering union and intersection types with integrated subtyping. Proc. Conf. Object-Oriented Program. Syst. Lang. Appl. OOPSLA 2, 1\u201329 (2018). https:\/\/doi.org\/10.1145\/3276482","journal-title":"Proc. Conf. Object-Oriented Program. Syst. Lang. Appl. OOPSLA"},{"key":"10_CR24","unstructured":"Parr, T.: The Definitive ANTLR 4 Reference. Pragmatic Bookshelf (2013)"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-35873-9_21","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"DJ Pearce","year":"2013","unstructured":"Pearce, D.J.: Sound and complete flow typing with unions, intersections and negations. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 335\u2013354. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35873-9_21"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.jvlc.2018.10.004","volume":"50","author":"DJ Pearce","year":"2019","unstructured":"Pearce, D.J.: On declarative rewriting for sound and complete union, intersection and negation types. J. Comput. Lang. 50, 84\u2013101 (2019). https:\/\/doi.org\/10.1016\/j.jvlc.2018.10.004","journal-title":"J. Comput. Lang."},{"key":"10_CR27","unstructured":"Usov, A., Dardha, O.: SFJ: An implementation of Semantic Featherweight Java, On YouTube and on Dardha\u2019s website (2020). https:\/\/youtu.be\/oTFIjm0A2O8, http:\/\/www.dcs.gla.ac.uk\/~ornela\/publications\/SFJ.mp4"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-50029-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T23:03:49Z","timestamp":1717974229000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-50029-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030500283","9783030500290"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-50029-0_10","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":"10 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Valletta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malta","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":"15 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2020\/coordination","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":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","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":"12","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":"6","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":"40% - 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":"3","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":"3","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2 invited tutorials and 4 tool papers. The conference was held virtually due to the 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)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}