default search action
Tomoyuki Aotani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c45]Yudai Tanabe
, Luthfan Anshar Lubis
Compilation Semantics for a Programming Language with Versions. APLAS 2023: 3-23 - [i3]Yudai Tanabe
Compilation Semantics for a Programming Language with Versions. CoRR abs/2310.00298 (2023) - 2022
- [j8]Yudai Tanabe
A Functional Programming Language with Versions. Art Sci. Eng. Program. 6(1): 5 (2022) - [c44]Yudai Tanabe
A Step toward Programming with Versions in Real-World Functional Languages. COP@ECOOP 2022: 44-51 - [c43]Luthfan Anshar Lubis, Yudai Tanabe
BatakJava: An Object-Oriented Programming Language with Versions. SLE 2022: 222-234 - 2021
- [c42]Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara:
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks. ECOOP 2021: 17:1-17:30 - [i2]Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara:
A Functional Programming Language with Versions. CoRR abs/2107.07301 (2021)
2010 – 2019
- 2019
- [c41]Tetsuo Kamina, Tomoyuki Aotani:
TinyCORP: A Calculus for Context-Oriented Reactive Programming. COP@ECOOP 2019: 1-8 - [c40]Tetsuo Kamina, Tomoyuki Aotani:
An approach for persistent time-varying values. Onward! 2019: 17-31 - [c39]Yusuke Izawa
Extending a meta-tracing compiler to mix method and tracing compilation. Programming 2019: 5:1-5:3 - 2018
- [j7]Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi:
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact). Dagstuhl Artifacts Ser. 4(3): 04:1-04:2 (2018) - [j6]Tetsuo Kamina, Tomoyuki Aotani:
Harmonizing Signals and Events with a Lightweight Extension to Java. Art Sci. Eng. Program. 2(3): 5 (2018) - [j5]Tetsuo Kamina
Method safety mechanism for asynchronous layer deactivation. Sci. Comput. Program. 156: 104-120 (2018) - [c38]Hiroaki Inoue, Tomoyuki Aotani
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. ECOOP 2018: 2:1-2:33 - [c37]Yudai Tanabe
A Context-Oriented Programming Approach to Dependency Hell. COP@ECOOP 2018: 8-14 - [c36]Akio Oka, Hidehiko Masuhara, Tomoyuki Aotani:
Live, synchronized, and mental map preserving visualization for data structure programming. Onward! 2018: 72-87 - [i1]Tetsuo Kamina, Tomoyuki Aotani:
Harmonizing Signals and Events with a Lightweight Extension to Java. CoRR abs/1803.10199 (2018) - 2017
- [c35]Tetsuo Kamina, Tomoyuki Aotani
Push-based reactive layer activation in context-oriented programming. COP@ECOOP 2017: 17-21 - [c34]Hiroaki Inoue, Tomoyuki Aotani
A DSL for compensable and interruptible executions. REBLS@SPLASH 2017: 8-14 - [c33]Akio Oka, Hidehiko Masuhara, Tomoki Imai, Tomoyuki Aotani
Live Data Structure Programming. Programming 2017: 26:1-26:7 - 2016
- [j4]Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani
Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq. J. Inf. Process. 24(1): 132-140 (2016) - [j3]Tetsuo Kamina, Tomoyuki Aotani
Context-Oriented Software Development with Generalized Layer Activation Mechanism. LNCS Trans. Modul. Compos. 1: 3-40 (2016) - [j2]Tetsuo Kamina, Tomoyuki Aotani
Generalized Layer Activation Mechanism for Context-Oriented Programming. LNCS Trans. Modul. Compos. 1: 123-166 (2016) - [c32]Hidehiko Masuhara, Kenta Fujita, Tomoyuki Aotani
An advice mechanism for non-local flow control. MODULARITY (Companion) 2016: 73-78 - [c31]Hirotada Kiriyama, Tomoyuki Aotani
A Lightweight Optimization Technique for Data Types a la Carte. MODULARITY (Companion) 2016: 86-90 - [c30]Tetsuo Kamina, Tomoyuki Aotani
Toward fluent module interactions. MODULARITY (Companion) 2016: 158-159 - [c29]Tomoyuki Aotani, Gary T. Leavens:
Towards Modular Reasoning for Context-Oriented Programs. FTfJP@ECOOP 2016: 8 - [c28]Gary T. Leavens, David A. Naumann
Specifying and Verifying Advanced Control Features. ISoLA (2) 2016: 80-96 - [c27]Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani:
Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler. TFP 2016: 44-58 - 2015
- [c26]Tetsuo Kamina, Tomoyuki Aotani
Generalized layer activation mechanism through contexts and subscribers. MODULARITY 2015: 14-28 - [c25]Tetsuo Kamina, Tomoyuki Aotani
Method Safety Mechanism for Asynchronous Layer Deactivation. COP@ECOOP 2015: 6:1-6:6 - [c24]Tomoyuki Aotani
Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation. COP@ECOOP 2015: 8:1-8:7 - [c23]Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
Making live programming practical by bridging the gap between trial-and-error development and unit testing. SPLASH (Companion Volume) 2015: 11-12 - [c22]Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
Shiranui: a live programming with support for unit testing. SPLASH (Companion Volume) 2015: 36-37 - [c21]Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani
Pyrlang: a high performance Erlang virtual machine based on RPython. SPLASH (Companion Volume) 2015: 48-49 - 2014
- [c20]Tetsuo Kamina, Tomoyuki Aotani
Context-oriented software engineering: a modularity vision. MODULARITY 2014: 85-98 - [c19]Tomoyuki Aotani
Unifying Multiple Layer Activation Mechanisms Using One Event Sequence. COP@ECOOP 2014: 2:1-2:6 - [c18]Tetsuo Kamina, Tomoyuki Aotani
On-Demand Layer Activation for Type-Safe Deactivation. COP@ECOOP 2014: 4:1-4:7 - [c17]Tomoyuki Aotani
Context holders: realizing multiple layer activation mechanisms in a single context-oriented language. FOAL 2014: 3-6 - [c16]Naoya Murakami, Hidehiko Masuhara, Tomoyuki Aotani
Code recommendation based on a degree-of-interest model. RSSE@ICSE 2014: 28-29 - [c15]Lin Wang, Tomoyuki Aotani
Improving the Quality of AspectJ Application: Translating Name-Based Pointcuts to Analysis-Based Pointcuts. QSIC 2014: 27-36 - [e1]Tomoyuki Aotani, Kung Chen, Shigeru Chiba, Takashi Ishio, Hidehiko Masuhara, Hongyu Zhang, Jianjun Zhao:
Proceedings of the 9th International Workshop on Advanced Modularization Techniques, AOAsia 2014, Hong Kong, China, November 16, 2014. ACM 2014, ISBN 978-1-4503-1818-1 [contents] - 2013
- [j1]Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara:
Introducing Composite Layers in EventCJ. Inf. Media Technol. 8(2): 279-286 (2013) - [c14]Lin Wang, Tomoyuki Aotani
Feature selection for clustering based aspect mining. VariComp@AOSD 2013: 7-12 - [c13]Lin Wang, Tomoyuki Aotani
Interaction awareness for aspect refactoring. AOAsia@AOSD 2013: 15-18 - [c12]Takeshi Kojima, Tomoyuki Aotani
Hierarchical concern-based pointcuts. AOAsia@AOSD 2013: 19-22 - [c11]Tetsuo Kamina, Tomoyuki Aotani
A unified context activation mechanism. COP@ECOOP 2013: 2:1-2:6 - [c10]Tetsuo Kamina, Tomoyuki Aotani
A core calculus of composite layers. FOAL 2013: 7-12 - 2012
- [c9]Manabu Toyama, Tomoyuki Aotani
A per-type instantiation mechanism for generic aspects. VariComp@AOSD 2012: 25-30 - [c8]Tetsuo Kamina, Tomoyuki Aotani
Bridging real-world contexts and units of behavioral variations by composite layers. COP@ECOOP 2012: 4:1-4:6 - 2011
- [c7]Tetsuo Kamina, Tomoyuki Aotani
EventCJ: a context-oriented programming language with declarative event-based context transition. AOSD 2011: 253-264 - [c6]Fan Yang, Tomoyuki Aotani
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. COORDINATION 2011: 202-218 - [c5]Tomoyuki Aotani
Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition. COP@ECOOP 2011: 1:1-1:7 - [c4]Tomoyuki Aotani
Supporting covariant return types and generics in type relaxed weaving. FOAL 2011: 25-29 - 2010
- [c3]Tetsuo Kamina, Tomoyuki Aotani
Designing event-based context transition in context-oriented programming. COP@ECOOP 2010: 2:1-2:6
2000 – 2009
- 2007
- [c2]Tomoyuki Aotani
SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts. AOSD 2007: 161-172 - [c1]Tomoyuki Aotani
Towards a type system for detecting never-matching pointcut compositions. FOAL 2007: 23-26
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: