Realizing Atomic Switch Operation for Distributed Update Propagation in Reactive Programming.

Tetsuo Kamina https://orcid.org/0000-0003-0288-1908

Sota Ueno Tetsuo Kamina Realizing Atomic Switch Operation for Distributed Update Propagation in Reactive Programming. 804-814 2025 33 J. Inf. Process. https://doi.org/10.2197/ipsjjip.33.804 db/journals/jip/jip33.html#UenoK25a streams/journals/jip

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Consistent Distributed Reactive Programming with Retroactive Computation. 2025 10 Art Sci. Eng. Program. 1 https://doi.org/10.22152/programming-journal.org/2025/10/11 db/journals/programming/programming10.html#KaminaAM25 streams/journals/programming

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Evolution Language Framework for Persistent Objects. 2025 10 Art Sci. Eng. Program. 1 https://doi.org/10.22152/programming-journal.org/2025/10/12 db/journals/programming/programming10.html#KaminaAM25a streams/journals/programming

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Evolution Language Framework for Persistent Objects. 2025 10 Art Sci. Eng. Program. 1 https://doi.org/10.22152/programming-journal.org/2026/10/12 db/journals/programming/programming10.html#KaminaAM25b streams/journals/programming

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Consistent Distributed Reactive Programming with Retroactive Computation. 2025 10 Art Sci. Eng. Program. 1 https://doi.org/10.22152/programming-journal.org/2026/10/11 db/journals/programming/programming10.html#KaminaAM25c streams/journals/programming

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Evolution Language Framework for Persistent Objects. 2025 February abs/2502.20530 CoRR https://doi.org/10.48550/arXiv.2502.20530 db/journals/corr/corr2502.html#abs-2502-20530 streams/journals/corr

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Consistent Distributed Reactive Programming with Retroactive Computation. 2025 February abs/2502.20534 CoRR https://doi.org/10.48550/arXiv.2502.20534 db/journals/corr/corr2502.html#abs-2502-20534 streams/journals/corr

Yizhi Mei Tetsuo Kamina Towards Automation of Module Lazy Loading in Single-Page Web Applications. 482-486 2024 APSEC https://doi.org/10.1109/APSEC65559.2024.00064 conf/apsec/2024 db/conf/apsec/apsec2024.html#MeiK24 streams/conf/apsec Tetsuo Kamina Temporal Layers: Reactive Activation Scope of First-Class Layer Instances. 9-14 2023 COP@ECOOP https://doi.org/10.1145/3605154.3605852 https://www.wikidata.org/entity/Q131129593 conf/cop-ws/2023 db/conf/cop-ws/cop2023.html#Kamina23 Daichi Hidaka Tetsuo Kamina Realizing Persistent Signals in JavaScript. 25-30 2023 REBLS@SPLASH https://doi.org/10.1145/3623506.3623576 https://www.wikidata.org/entity/Q131111165 conf/rebls/2023 db/conf/rebls/rebls2023.html#HidakaK23

Yuma Nishizu Tetsuo Kamina Implementing Micro Frontends Using Signal-based Web Components. 505-512 2022 30 J. Inf. Process. https://doi.org/10.2197/ipsjjip.30.505 db/journals/jip/jip30.html#NishizuK22

Tetsuo Kamina Sota Ueno Distributed Persistent Signals: Architecture and Implementation. 13-23 2022 REBLS@SPLASH https://doi.org/10.1145/3563837.3568341 https://www.wikidata.org/entity/Q130840506 conf/oopsla/2022rebls db/conf/oopsla/rebls2022.html#KaminaU22 Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks. 17:1-17:30 2021 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2021.17 conf/ecoop/2021 db/conf/ecoop/ecoop2021.html#KaminaAM21 Tetsuo Kamina Tomoyuki Aotani TinyCORP: A Calculus for Context-Oriented Reactive Programming. 1-8 2019 COP@ECOOP https://doi.org/10.1145/3340671.3343356 conf/ecoop/2019cop db/conf/ecoop/cop2019.html#KaminaA19 Tetsuo Kamina Tomoyuki Aotani An approach for persistent time-varying values. 17-31 2019 Onward! https://doi.org/10.1145/3359591.3359730 conf/oopsla/2019onward db/conf/oopsla/onward2019.html#KaminaA19 Guido Salvaneschi Wolfgang De Meuter Patrick Eugster Francisco Sant'Anna Lukasz Ziarek Tetsuo Kamina Hidehiko Masuhara Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens, Greece, October 21, 2019 ACM SPLASH 2019 978-1-4503-6986-2 https://doi.org/10.1145/3358503 db/conf/oopsla/rebls2019.html

Tetsuo Kamina Tomoyuki Aotani Harmonizing Signals and Events with a Lightweight Extension to Java. 5 2018 2 Art Sci. Eng. Program. 3 https://doi.org/10.22152/programming-journal.org/2018/2/5 https://www.wikidata.org/entity/Q130061482 db/journals/programming/programming2.html#KaminaA18

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Atsushi Igarashi Method safety mechanism for asynchronous layer deactivation. 104-120 2018 156 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2018.01.006 https://www.wikidata.org/entity/Q130209153 db/journals/scp/scp156.html#KaminaAMI18

Tetsuo Kamina Tomoyuki Aotani Harmonizing Signals and Events with a Lightweight Extension to Java. 2018 abs/1803.10199 CoRR http://arxiv.org/abs/1803.10199 db/journals/corr/corr1803.html#abs-1803-10199

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Push-based reactive layer activation in context-oriented programming. 17-21 2017 COP@ECOOP https://doi.org/10.1145/3117802.3117805 conf/ecoop/2017cop db/conf/ecoop/cop2017.html#KaminaAM17

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Tetsuo Tamai Context-Oriented Software Development with Generalized Layer Activation Mechanism. 3-40 2016 1 LNCS Trans. Modul. Compos. https://doi.org/10.1007/978-3-319-46969-0_1 journals/taosd/2016-1 db/journals/taosd/mod1.html#KaminaAMT16

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Generalized Layer Activation Mechanism for Context-Oriented Programming. 123-166 2016 1 LNCS Trans. Modul. Compos. https://doi.org/10.1007/978-3-319-46969-0_4 journals/taosd/2016-1 db/journals/taosd/mod1.html#KaminaAM16

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Toward fluent module interactions. 158-159 2016 MODULARITY (Companion) https://doi.org/10.1145/2892664.2892689 conf/aosd/2016c db/conf/aosd/modularity2016c.html#KaminaAM16 Noriyuki Suzuki Tetsuo Kamina Katsuhisa Maruyama Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android. 27-32 2016 COP@ECOOP https://doi.org/10.1145/2951965.2951970 conf/ecoop/2016cop db/conf/ecoop/cop2016.html#SuzukiKM16 Tetsuo Kamina Introducing lightweight reactive values to Java. 27-28 2016 SPLASH (Companion Volume) https://doi.org/10.1145/2984043.2989215 conf/oopsla/2016c db/conf/oopsla/splash2016c.html#Kamina16 Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Generalized layer activation mechanism through contexts and subscribers. 14-28 2015 MODULARITY https://doi.org/10.1145/2724525.2724570 conf/aosd/2015 db/conf/aosd/modularity2015.html#KaminaAM15 Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Atsushi Igarashi Method Safety Mechanism for Asynchronous Layer Deactivation. 6:1-6:6 2015 COP@ECOOP https://doi.org/10.1145/2786545.2786550 conf/ecoop/2015cop db/conf/ecoop/cop2015.html#KaminaAMI15 Tomoyuki Aotani Tetsuo Kamina Hidehiko Masuhara Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation. 8:1-8:7 2015 COP@ECOOP https://doi.org/10.1145/2786545.2786553 conf/ecoop/2015cop db/conf/ecoop/cop2015.html#AotaniKM15 Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Tetsuo Tamai Context-oriented software engineering: a modularity vision. 85-98 2014 MODULARITY https://doi.org/10.1145/2577080.2579816 conf/aosd/2014 db/conf/aosd/modularity2014.html#KaminaAMT14 Tomoyuki Aotani Tetsuo Kamina Hidehiko Masuhara Unifying Multiple Layer Activation Mechanisms Using One Event Sequence. 2:1-2:6 2014 COP@ECOOP https://doi.org/10.1145/2637066.2637068 conf/ecoop/2014cop db/conf/ecoop/cop2014.html#AotaniKM14 Tetsuo Kamina Tomoyuki Aotani Atsushi Igarashi On-Demand Layer Activation for Type-Safe Deactivation. 4:1-4:7 2014 COP@ECOOP https://doi.org/10.1145/2637066.2637070 conf/ecoop/2014cop db/conf/ecoop/cop2014.html#KaminaAI14 Tomoyuki Aotani Tetsuo Kamina Hidehiko Masuhara Context holders: realizing multiple layer activation mechanisms in a single context-oriented language. 3-6 2014 FOAL https://doi.org/10.1145/2588548.2588552 conf/foal/2014 db/conf/foal/foal2014.html#AotaniKM14

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Introducing Composite Layers in EventCJ. 279-286 2013 8 Inf. Media Technol. 2 https://doi.org/10.11185/imt.8.279 db/journals/imt/imt8.html#KaminaAM13 streams/journals/imt

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara A unified context activation mechanism. 2:1-2:6 2013 COP@ECOOP https://doi.org/10.1145/2489793.2489795 conf/ecoop/2013cop db/conf/ecoop/cop2013.html#KaminaAM13 Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara A core calculus of composite layers. 7-12 2013 FOAL https://doi.org/10.1145/2451598.2451601 conf/foal/2013 db/conf/foal/foal2013.html#KaminaAM13 Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Bridging real-world contexts and units of behavioral variations by composite layers. 4:1-4:6 2012 COP@ECOOP https://doi.org/10.1145/2307436.2307440 conf/ecoop/2012cop db/conf/ecoop/cop2012.html#KaminaAM12 Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara EventCJ: a context-oriented programming language with declarative event-based context transition. 253-264 2011 AOSD https://doi.org/10.1145/1960275.1960305 conf/aosd/2011 db/conf/aosd/aosd2011.html#KaminaAM11 Tomoyuki Aotani Tetsuo Kamina Hidehiko Masuhara Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition. 1:1-1:7 2011 COP@ECOOP https://doi.org/10.1145/2068736.2068737 conf/ecoop/2011cop db/conf/ecoop/cop2011.html#AotaniKM11 Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Designing event-based context transition in context-oriented programming. 2:1-2:6 2010 COP@ECOOP https://doi.org/10.1145/1930021.1930023 conf/ecoop/2010cop db/conf/ecoop/cop2010.html#KaminaAM10

Kentaro Miyamoto Tetsuo Kamina Tetsuo Sugiyama Keisuke Kameyama Kazuo Toraichi Yasuhiro Ohmiya A Function Approximation Method for Images with Grading Regions. 101-119 2009 9 Int. J. Image Graph. 1 https://doi.org/10.1142/S0219467809003307 db/journals/ijig/ijig9.html#MiyamotoKSKTO09

Tetsuo Kamina Tetsuo Tamai Towards safe and flexible object adaptation. 4:1-4:6 2009 COP@ECOOP https://doi.org/10.1145/1562112.1562116 conf/ecoop/2009cop db/conf/ecoop/cop2009.html#KaminaT09 Tetsuo Kamina Tetsuo Tamai Lightweight dependent classes. 113-124 2008 GPCE https://doi.org/10.1145/1449913.1449932 conf/gpce/2008 db/conf/gpce/gpce2008.html#KaminaT08 Tetsuo Kamina Noboru Koshizuka Ken Sakamura Embedding Legacy Keyword Search into Queries for the Ubiquitous ID Database. 263-272 2008 NBiS https://doi.org/10.1007/978-3-540-85693-1_28 conf/nbis/2008 db/conf/nbis/nbis2008.html#KaminaKS08 Tetsuo Kamina Toshinori Aoki Yoshiteru Eto Noboru Koshizuka Jun Yamada Ken Sakamura Verifying Identifier-Authenticity in Ubiquitous Computing Environment. 403-408 2007 conf/aina/2007w2 AINA Workshops (2) https://doi.org/10.1109/AINAW.2007.368 https://doi.ieeecomputersociety.org/10.1109/AINAW.2007.368 db/conf/aina/ainaw2007-2.html#KaminaAEKYS07 Tetsuo Kamina Tetsuo Tamai Lightweight scalable components. 145-154 2007 GPCE https://doi.org/10.1145/1289971.1289996 conf/gpce/2007 db/conf/gpce/gpce2007.html#KaminaT07 Shuji Kawasaki Miyuki Niwa Tetsuo Kamina De-An Wu Hitomi Murakami Masayoshi Ohashi A Study on Formulation of the Ubiquitous Cloud Model. 148 2006 conf/mdm/2006 MDM https://doi.org/10.1109/MDM.2006.19 https://doi.ieeecomputersociety.org/10.1109/MDM.2006.19 db/conf/mdm/mdm2006.html#KawasakiNKWMO06 Kentaro Miyamoto Tetsuo Kamina Tetsuo Sugiyama Keisuke Kameyama Kazuo Toraichi An Image Segmentation Method for Function Approximation of Gradation Images. 238-243 2006 conf/sspra/2006 SPPRA db/conf/sspra/sspra2006.html#MiyamotoKSKT06 Atsushi Fujii Keisuke Kameyama Tetsuo Kamina Yasuhiro Ohmiya Kazuo Toraichi Image Resolution Conversion by Optimized Adaptation of Interpolation Kernels. 274-279 2006 conf/sspra/2006 SPPRA db/conf/sspra/sspra2006.html#FujiiKKOT06

Tetsuo Kamina Tetsuo Tamai Flexible Method Combination based on Mixin Subtyping. 95-115 2005 4 J. Object Technol. 10 https://doi.org/10.5381/jot.2005.4.10.a5 db/journals/jot/jot4.html#KaminaT05

Tetsuo Kamina Tetsuo Tamai Selective method combination in mixin-based composition. 1269-1273 2005 conf/sac/2005 SAC https://doi.org/10.1145/1066677.1066965 db/conf/sac/sac2005.html#KaminaT05 Tetsuo Kamina Tetsuo Tamai McJava - A Design and Implementation of Java with Mixin-Types. 398-414 https://doi.org/10.1007/978-3-540-30477-7_27 2004 conf/aplas/2004 APLAS db/conf/aplas/aplas2004.html#KaminaT04 Tetsuo Kamina Tetsuo Tamai Loosely Connected RPC: An Approach for Extendable Interface of Web Services. 62-73 2003 conf/wsmai/2003 WSMAI db/conf/wsmai/wsmai2003.html#KaminaT03 Tetsuo Kamina Tetsuo Tamai Embedding XML Processing Toolkit on General Purpose Programming Language. 159-166 2002 conf/apsec/2002 APSEC https://doi.org/10.1109/APSEC.2002.1182985 https://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1182985 db/conf/apsec/apsec2002.html#KaminaT02 Toshinori Aoki Tomoyuki Aotani Yoshiteru Eto Patrick Eugster Atsushi Fujii Daichi Hidaka Atsushi Igarashi Keisuke Kameyama Shuji Kawasaki Noboru Koshizuka Katsuhisa Maruyama Hidehiko Masuhara Yizhi Mei Wolfgang De Meuter Kentaro Miyamoto Hitomi Murakami Yuma Nishizu Miyuki Niwa Masayoshi Ohashi Yasuhiro Ohmiya Ken Sakamura Guido Salvaneschi Francisco Sant'Anna Tetsuo Sugiyama Noriyuki Suzuki Tetsuo Tamai Kazuo Toraichi Sota Ueno De-An Wu Jun Yamada Lukasz Ziarek