{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:28:24Z","timestamp":1768314504889,"version":"3.49.0"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T00:00:00Z","timestamp":1764028800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T00:00:00Z","timestamp":1764028800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,25]]},"DOI":"10.1109\/candarw68385.2025.00009","type":"proceedings-article","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T18:20:34Z","timestamp":1768242034000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Bringing Algebraic Hierarchical Decompositions to Concatenative Functional Languages"],"prefix":"10.1109","author":[{"given":"Attila","family":"Egri-Nagy","sequence":"first","affiliation":[{"name":"Akita International University,Human & AI Center,Akita,Japan"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/960118.808380"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"ref3","article-title":"Category Theory, ser. Oxford Logic Guides","author":"Awodey","year":"2010"},{"issue":"v","key":"ref4","article-title":"Category Theory for Computing Science, ser. Prentice-Hall international series in computer science","author":"Barr","year":"1995"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90020-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1965-0188316-1"},{"key":"ref8","article-title":"Applications of Automata Theory and Algebra via the Mathematical Theory of Complexity to Biology","author":"Rhodes","year":"2009","journal-title":"Physics, Psychology, Philosophy, and Games."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(80)90130-1"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-71112-1_10"},{"key":"ref11","article-title":"Representation independent decompositions of computation","author":"Egri-Nagy","year":"2025"},{"key":"ref12","article-title":"Computational exploration of finite semigroupoids","volume-title":"2025, miniKanren 2025 Workshop at ICPFL\/SPLASH\u201925.","author":"Egri-Nagy"},{"key":"ref13","volume-title":"Introduction to Automata Theory, Languages, and Computation.","author":"Hopcroft","year":"1979"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.56021\/9780801890123"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14803-8_2"},{"key":"ref16","article-title":"Semantics of Programming Languages: Structures and Techniques, ser. Foundations of computing","author":"Gunter","year":"1992"},{"key":"ref17","first-page":"497","article-title":"Forth: a new way to program a mini computer","volume":"15","author":"Moore","year":"1974","journal-title":"Astronomy and Astrophysics Supplement"},{"key":"ref18","volume-title":"Starting Forth.","author":"Brodie","year":"1987"},{"key":"ref19","author":"Brodie","year":"2004","journal-title":"Thinking Forth."},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/367177.367199"},{"key":"ref21","article-title":"The roots of lisp","author":"Graham","year":"2002"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3386321"},{"key":"ref23","article-title":"Joy: Forth\u2019s functional cousin","volume-title":"Proceedings of the 17th EuroForth Conference","author":"Von Thun"},{"issue":"3","key":"ref24","article-title":"A conversation with Manfred von Thun","volume":"20","author":"Apter","year":"2004","journal-title":"VECTOR, Journal of the British APL Association"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/181993.181999"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1899661.1869637"},{"key":"ref27","article-title":"CONCAT functional concatenative programming language with an explicit semigroupoid representations","author":"Egri-Nagy","year":"2025"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196702001206"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1142\/9789812708700_0006"}],"event":{"name":"2025 Thirteenth International Symposium on Computing and Networking Workshops (CANDARW)","location":"Yamagata, Japan","start":{"date-parts":[[2025,11,25]]},"end":{"date-parts":[[2025,11,28]]}},"container-title":["2025 Thirteenth International Symposium on Computing and Networking Workshops (CANDARW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11318850\/11318884\/11318930.pdf?arnumber=11318930","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T08:37:07Z","timestamp":1768293427000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11318930\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,25]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/candarw68385.2025.00009","relation":{},"subject":[],"published":{"date-parts":[[2025,11,25]]}}}