{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:15:55Z","timestamp":1759032955880,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":29,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["17K00115"],"award-info":[{"award-number":["17K00115"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1145\/3340671.3343356","type":"proceedings-article","created":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T11:52:05Z","timestamp":1566388325000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["TinyCORP"],"prefix":"10.1145","author":[{"given":"Tetsuo","family":"Kamina","sequence":"first","affiliation":[{"name":"Oita University, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomoyuki","family":"Aotani","sequence":"additional","affiliation":[{"name":"Tokyo Institute of Technology, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"key-10.1145\/3340671.3343356-1","doi-asserted-by":"crossref","unstructured":"Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara. Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition. In COP'11, 2011.","DOI":"10.1145\/2068736.2068737"},{"key":"key-10.1145\/3340671.3343356-2","doi-asserted-by":"crossref","unstructured":"Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara. Unifying multiple layer activation mechanism using one event sequence. In COP'14, pages 2:1--2:6, 2014.","DOI":"10.1145\/2637066.2637068"},{"key":"key-10.1145\/3340671.3343356-3","unstructured":"Malte Appeltauer, Robert Hirschfeld, Michael Haupt, and Hidehiko Masuhara. ContextJ: Context-oriented programming with Java. Computer Software, 28(1):272--292, 2011."},{"key":"key-10.1145\/3340671.3343356-4","doi-asserted-by":"crossref","unstructured":"Malte Appeltauer, Robert Hirschfeld, Hidehiko Masuhara, Michael Haupt, and Kazunori Kawauchi. Event-specific software composition in context-oriented programming. In Proceedings of the International Conference on Software Composition 2010 (SC'10), volume 6144 of LNCS, pages 50--65, 2010.","DOI":"10.1007\/978-3-642-14046-4_4"},{"key":"key-10.1145\/3340671.3343356-5","doi-asserted-by":"crossref","unstructured":"Engineer Bainomugisha, Jorge Vallejos, Coen De Roover, Andoni Lombide Carreton, and Wolfgang De Meuter. Interruptible context-dependent executions: A fresh look at programming context-aware applications. In Onward! 2012, pages 67--84, 2012.","DOI":"10.1145\/2384592.2384600"},{"key":"key-10.1145\/3340671.3343356-6","doi-asserted-by":"crossref","unstructured":"Dave Clarke and Ilya Sergey. A semantics for context-oriented programming with layers. In COP'09, 2009.","DOI":"10.1145\/1562112.1562122"},{"key":"key-10.1145\/3340671.3343356-7","unstructured":"Gregory H. Cooper. Integrating Dataflow Evaluation into a Practical Higher-Order Call-by-Value Language. PhD thesis, Department of Computer Science, Brown University, 2008."},{"key":"key-10.1145\/3340671.3343356-8","doi-asserted-by":"crossref","unstructured":"Pascal Costanza and Robert Hirschfeld. Language constructs for context-oriented programming -- an overview of ContextL. In Dynamic Language Symposium (DLS) '05, pages 1--10, 2005.","DOI":"10.1145\/1146841.1146842"},{"key":"key-10.1145\/3340671.3343356-9","doi-asserted-by":"crossref","unstructured":"Conal Elliott. Push-pull functional reactive programming. In Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell (Haskell'09), pages 25--36, 2009.","DOI":"10.1145\/1596638.1596643"},{"key":"key-10.1145\/3340671.3343356-10","doi-asserted-by":"crossref","unstructured":"Conal Elliott and Paul Hudak. Functional reactive animation. In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP'97), pages 263--273, 1997.","DOI":"10.1145\/258948.258973"},{"key":"key-10.1145\/3340671.3343356-11","doi-asserted-by":"crossref","unstructured":"Sebastián González, Nicolás Cardozo, Kim Mens, Alfredo Cádiz, Jean-Christophe Libbrecht, and Julien Goffaux. Subjective-C: Bringing context to mobile platform programming. In SLE'10, volume 6563 of LNCS, pages 246--265, 2011.","DOI":"10.1007\/978-3-642-19440-5_15"},{"key":"key-10.1145\/3340671.3343356-12","doi-asserted-by":"crossref","unstructured":"Robert Hirschfeld, Atsushi Igarashi, and Hidehiko Masuhara. ContextFJ: a minimal core calculus for context-oriented programming. In FOAL'11, pages 19--23, 2011.","DOI":"10.1145\/1960510.1960515"},{"key":"key-10.1145\/3340671.3343356-13","unstructured":"Atsushi Igarashi, Robert Hirschfeld, and Hidehiko Masuhara. A type system for dynamic layer composition. In FOOL'12, 2012."},{"key":"key-10.1145\/3340671.3343356-14","unstructured":"Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396--450, 2001."},{"key":"key-10.1145\/3340671.3343356-15","unstructured":"Hiroaki Inoue and Atsushi Igarashi. A library-based approach to context-dependent computation with reactive values. In MODULARITY Companion '16, pages 50--54, 2016."},{"key":"key-10.1145\/3340671.3343356-16","doi-asserted-by":"crossref","unstructured":"Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, and Robert Hirschfeld. Towards type-safe JCop: A type system for layer inheritance and first-class layers. In COP'14, 2014.","DOI":"10.1145\/2637066.2637073"},{"key":"key-10.1145\/3340671.3343356-17","doi-asserted-by":"crossref","unstructured":"Tetsuo Kamina and Tomoyuki Aotani. Harmonizing signals and events with a lightweight extension to Java. The Art, Science, and Engineering of Programming, 2(3), 2018.","DOI":"10.22152\/programming-journal.org\/2018\/2\/5"},{"key":"key-10.1145\/3340671.3343356-18","doi-asserted-by":"crossref","unstructured":"Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara. EventCJ: a context-oriented programming language with declarative event-based context transition. In AOSD '11, pages 253--264, 2011.","DOI":"10.1145\/1960275.1960305"},{"key":"key-10.1145\/3340671.3343356-19","doi-asserted-by":"crossref","unstructured":"Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara. A core calculus of composite layers. In FOAL'13, pages 7--12, 2013.","DOI":"10.1145\/2451598.2451601"},{"key":"key-10.1145\/3340671.3343356-20","doi-asserted-by":"crossref","unstructured":"Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara. Generalized layer activation mechanism for context-oriented programming. LNCS Transactions on Modularity and Composition, 9800:123--166, 2016.","DOI":"10.1007\/978-3-319-46969-0_4"},{"key":"key-10.1145\/3340671.3343356-21","doi-asserted-by":"crossref","unstructured":"Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara. Push-based reactive layer activation in context-oriented programming. In COP'17, pages 17--21, 2017.","DOI":"10.1145\/3117802.3117805"},{"key":"key-10.1145\/3340671.3343356-22","doi-asserted-by":"crossref","unstructured":"Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Atsushi Igarashi. Method safety mechanism for asynchronous layer deactivation. Science of Computer Programming, 156:104--120, 2018.","DOI":"10.1016\/j.scico.2018.01.006"},{"key":"key-10.1145\/3340671.3343356-23","doi-asserted-by":"crossref","unstructured":"Jens Lincke, Malte Appeltauer, Bastian Steinert, and Robert Hirschfeld. An open implementation for context-oriented layer composition in ContextJS. Science of Computer Programming, 76(12):1194--1209, 2011.","DOI":"10.1016\/j.scico.2010.11.013"},{"key":"key-10.1145\/3340671.3343356-24","doi-asserted-by":"crossref","unstructured":"Leo A. Meyerovich, Arjun Guha, Jacob Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi. Flapjax: A programming language for Ajax applications. In Proceedings of the 24th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Application (OOPSLA'09), pages 1--20, 2009.","DOI":"10.1145\/1640089.1640091"},{"key":"key-10.1145\/3340671.3343356-25","doi-asserted-by":"crossref","unstructured":"Guido Salvaneschi, Gerold Hintz, and Mira Mezini. REScala: Bridging between object-oriented and functional style in reactive applications. In Proceedings of the 13th International Conference on Modularity (MODULARITY'14), pages 25--36, 2014.","DOI":"10.1145\/2577080.2577083"},{"key":"key-10.1145\/3340671.3343356-26","doi-asserted-by":"crossref","unstructured":"Kensuke Sawada and Takuo Watanabe. Emfrp: a functional reactive programming language for small-scale embedded systems. In MODULARITY Companion, pages 36--44, 2016.","DOI":"10.1145\/2892664.2892670"},{"key":"key-10.1145\/3340671.3343356-27","doi-asserted-by":"crossref","unstructured":"Zhanyong Wan, Walid Taha, and Paul Hudak. Real-time FRP. In Proceedings of the 6th ACM SIGPLAN International Conference on Functional Programming (ICFP'01), pages 146--156, 2001.","DOI":"10.1145\/507669.507654"},{"key":"key-10.1145\/3340671.3343356-28","doi-asserted-by":"crossref","unstructured":"Zhanyong Wan, Walid Taha, and Paul Hudak. Event-driven FRP. In PADL 2002: Practical Aspects of Declarative Languages, volume 2257 of LNCS, pages 155--172, 2002.","DOI":"10.1007\/3-540-45587-6_11"},{"key":"key-10.1145\/3340671.3343356-29","doi-asserted-by":"crossref","unstructured":"Takuo Watanabe. A simple context-oriented programming extension to an FRP language for small-scale embedded systems. In COP'18, pages 23--30, 2018.","DOI":"10.1145\/3242921.3242925"}],"event":{"name":"the Workshop","start":{"date-parts":[[2019,7,15]]},"sponsor":["SIGPLAN, ACM Special Interest Group on Programming Languages","AITO, Assoc Internationale por les Technologies Objects","AITO, Association Internationale pour les Technologies Objets"],"location":"London, United Kingdom","end":{"date-parts":[[2019,7,15]]},"acronym":"COP '19"},"container-title":["Proceedings of the Workshop on Context-oriented Programming  - COP '19"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340671.3343356","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=3343356&ftid=2080556&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:11Z","timestamp":1750200071000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=3340671.3343356"}},"subtitle":["A Calculus for Context-Oriented Reactive Programming"],"proceedings-subject":"Context-oriented Programming","short-title":[],"issued":{"date-parts":[[2019]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1145\/3340671.3343356","relation":{},"subject":[],"published":{"date-parts":[[2019]]}}}