{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:46:20Z","timestamp":1743068780067,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030590246"},{"type":"electronic","value":"9783030590253"}],"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-59025-3_7","type":"book-chapter","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T07:06:21Z","timestamp":1599721581000},"page":"106-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Cimini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,2]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","unstructured":"Baelde, D., et al.: Abella: a system for reasoning about relational specifications. Journal of Formalized Reasoning 7(2) (2014). https:\/\/doi.org\/10.6092\/issn.1972-5787\/4650. http:\/\/jfr.unibo.it\/article\/download\/4650\/4137","DOI":"10.6092\/issn.1972-5787\/4650"},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"Bogdanas, D., Rosu, G.: K-Java: a complete semantics of Java. In: Proceedings of the 42nd Symposium on Principles of Programming Languages, pp. 445\u2013456. ACM (2015). https:\/\/doi.org\/10.1145\/2676726.2676982","DOI":"10.1145\/2676726.2676982"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., Deantoni, J., Combemale, B.: Execution framework of the gemoc studio (tool demo). In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering SLE 2016, pp. 84\u201389. ACM, New York (2016)","DOI":"10.1145\/2997364.2997384"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"MGJ van den Brand","year":"2001","unstructured":"van den Brand, M.G.J., et al.: The Asf+Sdf meta-environment: a component-based language dvelopment environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol. 2027, pp. 365\u2013370. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45306-7_26"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Butting, A., Eikermann, R., Kautz, O., Rumpe, B., Wortmann, A.: Modeling language variability with reusable language components. In: Proceedings of the 22nd International Systems and Software Product Line Conference SPLC 2018. ACM, New York (2018)","DOI":"10.1145\/3233027.3233037"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Cimini, M.: Lang-n-play: a functional programming language with languages as first-class citizens (2018). https:\/\/github.com\/mcimini\/lang-n-play","DOI":"10.1145\/3276604.3276983"},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Cimini, M.: Languages as first-class citizens (vision paper). In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering SLE 2018, pp. 65\u201369. ACM, New York (2018). https:\/\/doi.org\/10.1145\/3276604.3276983","DOI":"10.1145\/3276604.3276983"},{"key":"7_CR8","unstructured":"Dmitriev, S.: Language oriented programming: the next programming paradigm (2004). http:\/\/www.onboard.jetbrains.com\/is1\/articles\/04\/10\/lop\/mps.pdf"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Dunchev, C., Guidi, F., Coen, C.S., Tassi, E.: ELPI: fast, embeddable, $$\\backslash $$lambda prolog interpreter. In: Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, 24\u201328 November 2015, pp. 460\u2013468 (2015). https:\/\/doi.org\/10.1007\/978-3-662-48899-7_32","DOI":"10.1007\/978-3-662-48899-7_32"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Ellison, C., Rosu, G.: An executable formal semantics of C with applications. In: Field, J., Hicks, M. (eds.) Proceedings of the 39th Symposium on Principles of Programming Languages, pp. 533\u2013544. ACM (2012). https:\/\/doi.org\/10.1145\/2103656.2103719","DOI":"10.1145\/2103656.2103719"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Erdweg, S., Giarrusso, P.G., Rendel, T.: Language composition untangled. In: LDTA 2012, pp. 7:1\u20137:8. ACM, New York (2012)","DOI":"10.1145\/2427048.2427055"},{"key":"7_CR12","doi-asserted-by":"publisher","unstructured":"Erdweg, S., Rendel, T., K\u00e4stner, C., Ostermann, K.: SugarJ: library-based syntactic language extensibility. SIGPLAN Not. 46(10), 391\u2013406 (2011). https:\/\/doi.org\/10.1145\/2076021.2048099. http:\/\/doi.acm.org\/10.1145\/2076021.2048099","DOI":"10.1145\/2076021.2048099"},{"key":"7_CR13","unstructured":"Flatt, M., PLT: reference: racket. Technical report PLT-TR-2010-1. PLT Design Inc. (2010). https:\/\/racket-lang.org\/tr1\/"},{"key":"7_CR14","unstructured":"Fowler, M.: Language workbenches: the killer-app for domain specific languages? (2005). http:\/\/www.martinfowler.com\/articles\/languageWorkbench.html"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"1","author":"D Gabbay","year":"1984","unstructured":"Gabbay, D., Reyle, U.: N-prolog: an extension of prolog with hypothetical implications I. J. Logic Program. 1(4), 319\u2013355 (1984). http:\/\/www.sciencedirect.com\/science\/article\/pii\/0743106684900293","journal-title":"J. Logic Program."},{"key":"7_CR16","unstructured":"Goodman, N.D., Stuhlm\u00fcller, A.: The design and implementation of probabilistic programming languages (2014). http:\/\/dippl.org. Accessed 10 Feb 2020"},{"key":"7_CR17","unstructured":"JetBrains: JetBrains MPS - Meta Programming System. http:\/\/www.jetbrains.com\/mps\/"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Kats, L.C.L., Visser, E.: The spoofax language workbench: rules for declarative specification of languages and ides. In: OOPSLA, vol. 45, pp. 444\u2013463. ACM, New York, October 2010. http:\/\/doi.acm.org\/10.1145\/1932682.1869497","DOI":"10.1145\/1932682.1869497"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-61292-0_1","volume-title":"Advanced Information Systems Engineering","author":"S Kelly","year":"1996","unstructured":"Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+ a fully configurable multi-user and multi-tool CASE and CAME environment. In: Constantopoulos, P., Mylopoulos, J., Vassiliou, Y. (eds.) CAiSE 1996. LNCS, vol. 1080, pp. 1\u201321. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61292-0_1"},{"key":"7_CR20","first-page":"139","volume":"54","author":"J Kienzle","year":"2018","unstructured":"Kienzle, J., et al.: Concern-oriented language development (COLD): fostering reuse in language engineering. Comput. Lang. Syst. Struct. 54, 139\u2013155 (2018)","journal-title":"Comput. Lang. Syst. Struct."},{"issue":"5","key":"7_CR21","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s10009-010-0142-1","volume":"12","author":"H Krahn","year":"2010","unstructured":"Krahn, H., Rumpe, B., V\u00f6lkel, S.: MontiCore: a framework for compositional development of domain specific languages. Int. J. Softw. Tools Technol. Transf. 12(5), 353\u2013372 (2010). https:\/\/doi.org\/10.1007\/s10009-010-0142-1","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"7_CR22","doi-asserted-by":"publisher","unstructured":"K\u00fchn, T., Cazzola, W., Olivares, D.M.: Choosy and picky: configuration of language product lines. In: Proceedings of the 19th International Conference on Software Product Line SPLC 2015, pp. 71\u201380. ACM, New York (2015). https:\/\/doi.org\/10.1145\/2791060.2791092. http:\/\/doi.acm.org\/10.1145\/2791060.2791092","DOI":"10.1145\/2791060.2791092"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1016\/j.cl.2016.09.004","volume":"46","author":"D M\u00e9ndez-Acu\u00f1a","year":"2016","unstructured":"M\u00e9ndez-Acu\u00f1a, D., Galindo, J.A., Degueule, T., Combemale, B., Baudry, B.: Leveraging software product lines engineering in the development of external DSLs: a systematic literature review. Comput. Lang. Syst. Struct. 46, 206\u2013235 (2016). https:\/\/doi.org\/10.1016\/j.cl.2016.09.004","journal-title":"Comput. Lang. Syst. Struct."},{"key":"7_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139021326","volume-title":"Programming with Higher-Order Logic","author":"D Miller","year":"2012","unstructured":"Miller, D., Nadathur, G.: Programming with Higher-Order Logic, 1st edn. Cambridge University Press, New York (2012)","edition":"1"},{"issue":"7","key":"7_CR25","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/960116.54010","volume":"23","author":"F Pfenning","year":"1988","unstructured":"Pfenning, F., Elliott, C.: Higher-order abstract syntax. SIGPLAN Not. 23(7), 199\u2013208 (1988). https:\/\/doi.org\/10.1145\/960116.54010","journal-title":"SIGPLAN Not."},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-48660-7_14","volume-title":"Automated Deduction\u2014CADE-16","author":"F Pfenning","year":"1999","unstructured":"Pfenning, F., Sch\u00fcrmann, C.: System description: twelf\u2014a meta-logical framework for deductive systems. CADE 1999. LNCS (LNAI), vol. 1632, pp. 202\u2013206. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48660-7_14"},{"issue":"6","key":"7_CR27","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","volume":"79","author":"G Rosu","year":"2010","unstructured":"Rosu, G., \u015eerb\u0103nu\u0163\u0103, T.F.: An overview of the K semantic framework. J. Logic Algebraic Program. 79(6), 397\u2013434 (2010)","journal-title":"J. Logic Algebraic Program."},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Sewell, P., et al.: Ott: effective tool support for the working semanticist. In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming ICFP 2007, pp. 1\u201312. ACM, New York (2007)","DOI":"10.1145\/1291220.1291155"},{"key":"7_CR29","doi-asserted-by":"publisher","unstructured":"Stefanescu, A., Park, D., Yuwen, S., Li, Y., Rosu, G.: Semantics-based program verifiers for all languages. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, 30 October\u20134 November 2016, pp. 74\u201391 (2016). https:\/\/doi.org\/10.1145\/2983990.2984027","DOI":"10.1145\/2983990.2984027"},{"key":"7_CR30","first-page":"1","volume":"43","author":"E Vacchi","year":"2015","unstructured":"Vacchi, E., Cazzola, W.: Neverlang: a framework for feature-oriented language development. Comput. Lang. Syst. Struct. 43, 1\u201340 (2015)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"7_CR31","first-page":"147","volume":"15","author":"MP Ward","year":"1995","unstructured":"Ward, M.P.: Language oriented programming. Softw.-Concepts Tools 15, 147\u2013161 (1995)","journal-title":"Softw.-Concepts Tools"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-59025-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T14:25:56Z","timestamp":1619274356000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-59025-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030590246","9783030590253"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-59025-3_7","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":"2 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FLOPS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Functional and Logic Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Akita","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","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":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"flops2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ipl.riec.tohoku.ac.jp\/FLOPS2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"25","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":"11","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":"1","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":"44% - 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":"4.2","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":"4.1","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":"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)"}}]}}