المؤلفون: Å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

المؤلفون: Yamaguchi, Masaomi, Matsuda, Kazutaka, David, Cristina, Wang, Meng

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2108.13783

المؤلفون: Yamaguchi, Masaomi^{Aff1, Aff2}, Matsuda, Kazutaka^{Aff1, IDs10703023004369_cor2}, David, Cristina, Wang, Meng

المصدر: Formal Methods in System Design: An International Journal. 61(2-3):198-247

المؤلفون: Matsuda, Kazutaka

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1911.00268

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Matsuda, Kazutaka^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Müller, Peter, editor^Aff8

المصدر: Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. 12075:456-483

المؤلفون: Hamana, Makoto, Matsuda, Kazutaka, Asada, Kazuyuki

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Databases, F.3.2, F.3.3, H.2.3

URL الوصول: http://arxiv.org/abs/1511.08851

المؤلفون: Matsuda, Kazutaka^Aff14, Wang, Meng^Aff15

المساهمون: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Ahmed, Amal, editor^Aff13

المصدر: Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. 10801:31-59

المؤلفون: Thanh, Nguyen Duc, Wakiya, Soichiro, Matsuda, Kazutaka, Ngoc, Bui Duy, Sugiyama, Junji^{Aff1, Aff4}, Kohdzuma, Yohsei^Aff2

المصدر: Journal of Wood Science: Official Journal of the Japan Wood Research Society. 64(6):836-844