{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T23:58:25Z","timestamp":1781222305118,"version":"3.54.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032057266","type":"print"},{"value":"9783032057273","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T00:00:00Z","timestamp":1758499200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T00:00:00Z","timestamp":1758499200000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-05727-3_23","type":"book-chapter","created":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T07:44:35Z","timestamp":1758440675000},"page":"248-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Executable Semantics for\u00a0Teaching Concatenative Stack-Based DSLs: The Case of\u00a0StackLang"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2852-9403","authenticated-orcid":false,"given":"William","family":"Steingartner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9860-1557","authenticated-orcid":false,"given":"Wolfgang","family":"Schreiner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,22]]},"reference":[{"key":"23_CR1","unstructured":"Barras, B., et\u00a0al.: The Coq Proof Assistant: Reference Manual. Coq Project, INRIA, version 6.3.1 edn. (2000). https:\/\/rocq-prover.org"},{"issue":"6","key":"23_CR2","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1016\/S0167-739X(99)00088-6","volume":"16","author":"S Diehl","year":"2000","unstructured":"Diehl, S., Hartel, P., Sestoft, P.: Abstract machines for programming language implementation. Futur. Gener. Comput. Syst. 16(6), 739\u2013751 (2000)","journal-title":"Futur. Gener. Comput. Syst."},{"key":"23_CR3","volume-title":"Semantics Engineering with PLT Redex","author":"M Felleisen","year":"2009","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex, 1st edn. The MIT Press, Cambridge (2009)","edition":"1"},{"key":"23_CR4","doi-asserted-by":"publisher","unstructured":"Marmsoler, D., Brucker, A.D.: Isabelle\/solidity: a deep embedding of solidity in isabelle\/HOL. Form. Asp. Comput. 37(2) (2025). https:\/\/doi.org\/10.1145\/3700601","DOI":"10.1145\/3700601"},{"key":"23_CR5","doi-asserted-by":"publisher","unstructured":"Miheli\u010d, J., Steingartner, W., Novitzk\u00e1, V.: A denotational semantics of a concatenative\/compositional programming language. Acta Polytechnica Hungarica 18(4), 13\u201328 (2021). https:\/\/doi.org\/10.12700\/APH.18.4.2021.4.13","DOI":"10.12700\/APH.18.4.2021.4.13"},{"key":"23_CR6","doi-asserted-by":"publisher","unstructured":"Nielson, H.R., Nielson, F.: Semantics with Applications: An Appetizer. Undergraduate Topics in Computer Science. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-1-84628-692-6","DOI":"10.1007\/978-1-84628-692-6"},{"key":"23_CR7","unstructured":"Parr, T.: The Definitive ANTLR 4 Reference. Pragmatic Bookshelf, 2nd edn. (2013). https:\/\/pragprog.com\/titles\/tpantlr2\/the-definitive-antlr-4-reference"},{"key":"23_CR8","volume-title":"Karel the Robot: A Gentle Introduction to the Art of Programming","author":"RE Pattis","year":"1994","unstructured":"Pattis, R.E.: Karel the Robot: A Gentle Introduction to the Art of Programming, 2nd edn. John Wiley & Sons Inc., Hoboken (1994)","edition":"2"},{"key":"23_CR9","doi-asserted-by":"publisher","unstructured":"Pereira, M.J.V., Mernik, M., da\u00a0Cruz, D.C., Henriques, P.R.: Program comprehension for domain-specific languages. Comput. Sci. Inf. Syst. 5(2), 1\u201317 (2008). https:\/\/doi.org\/10.2298\/CSIS0802001P","DOI":"10.2298\/CSIS0802001P"},{"issue":"6","key":"23_CR10","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","volume":"79","author":"G Ro\u015fu","year":"2010","unstructured":"Ro\u015fu, G., \u015eerb\u0103nut\u0103, T.F.: An overview of the K semantic framework. J. Logic Algebraic Program. 79(6), 397\u2013434 (2010). https:\/\/doi.org\/10.1016\/j.jlap.2010.03.012","journal-title":"J. Logic Algebraic Program."},{"key":"23_CR11","unstructured":"Schmidt, D.A.: The Structure of Typed Programming Languages. MIT Press, Cambridge (1994). https:\/\/mitpress.mit.edu\/books\/structure-typed-programming-languages"},{"key":"23_CR12","doi-asserted-by":"publisher","unstructured":"Schreiner, W.: Thinking Programs. Texts & Monographs in Symbolic Computation, 1st edn. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-80507-4","DOI":"10.1007\/978-3-030-80507-4"},{"key":"23_CR13","doi-asserted-by":"publisher","unstructured":"Schreiner, W., Steingartner, W.: The SLANG Semantics-Based Language-Generator \u2014 Tutorial and Reference Manual (Version 1.0.*). Technical report 23-13, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria (2023). https:\/\/doi.org\/10.35011\/risc.23-13","DOI":"10.35011\/risc.23-13"},{"key":"23_CR14","doi-asserted-by":"publisher","unstructured":"Schreiner, W., Steingartner, W.: Semantics-based rapid prototyping of a machine controller language. In: Novitzk\u00e1, V., Szak\u00e1l, A. (eds.) Informatics 2024, 2024 IEEE 17th International Scientific Conference on Informatics, pp. 348\u2013353. IEEE, Poprad (2024). https:\/\/doi.org\/10.1109\/Informatics62280.2024.10900792","DOI":"10.1109\/Informatics62280.2024.10900792"},{"key":"23_CR15","doi-asserted-by":"publisher","unstructured":"Schreiner, W., Steingartner, W.: Semantics-Based Rapid Prototyping of a Subset of SQL. Technical Report 25-02, Research Institute for Symbolic Computation, Johannes Kepler University (2025). https:\/\/doi.org\/10.35011\/risc.25-02","DOI":"10.35011\/risc.25-02"},{"key":"23_CR16","unstructured":"The SLANG Semantics-Based Language Generator (2023). https:\/\/www.risc.jku.at\/research\/formal\/software\/SLANG"},{"key":"23_CR17","doi-asserted-by":"publisher","unstructured":"Steingartner, W., Novitzk\u00e1, V., Schreiner, W.: Proof of equivalence of semantic methods for a selected domain-specific language. J. Appl. Math. Comput. Mech. 23(2), 79\u201392 (2024). https:\/\/doi.org\/10.17512\/jamcm.2024.2.07","DOI":"10.17512\/jamcm.2024.2.07"},{"key":"23_CR18","unstructured":"University of Glasgow: Algorithms & Data Structures: MSc in Information Technology and MSc in Software Development \u2013 Examination Paper (2013). https:\/\/www.dcs.gla.ac.uk\/%7Edaw\/teaching\/ADS\/Exams\/paper.2013.pdf. Accessed 12 May 2025"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages\u2014An Introduction. MIT Press, Cambridge (1994). https:\/\/mitpress.mit.edu\/books\/formal-semantics-programming-languages","DOI":"10.7551\/mitpress\/3054.001.0001"}],"container-title":["Communications in Computer and Information Science","New Trends in Database and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05727-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T08:03:00Z","timestamp":1758441780000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05727-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,22]]},"ISBN":["9783032057266","9783032057273"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05727-3_23","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,22]]},"assertion":[{"value":"22 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ADBIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Advances in Databases and Information Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tampere","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Finland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"adbis2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/adbis2025.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}