المؤلفون: Ågren Thuné, Anders, Matsuda, Kazutaka, Wang, Meng

المصدر: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :59-89

مصطلحات موضوعية: Arrows, Domain-specific languages, Partial invertibility, Reversible computation

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-346542
https://doi.org/10.1007/978-3-031-57267-8_3

عناروين إضافية: Ett Arrow-metaspråk för partiellt inverterbar beräkning

مصطلحات الفهرس: Reversible computation, Domain-specific languages, Arrows, Partial invertibility, Reversibel beräkning, Domänspecifika språk, Partiell inverterbarhet, Computer Sciences, Datavetenskap (datalogi), Student thesis, info:eu-repo/semantics/bachelorThesis, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-337228
TRITA-EECS-EX ; 2023:529