![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Tomoyuki Aotani
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
- [j7]Yudai Tanabe
, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara:
A Functional Programming Language with Versions. Art Sci. Eng. Program. 6(1): 5 (2022) - 2018
- [j6]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) - [j5]Tetsuo Kamina, Tomoyuki Aotani:
Harmonizing Signals and Events with a Lightweight Extension to Java. Art Sci. Eng. Program. 2(3): 5 (2018) - [j4]Tetsuo Kamina
, Tomoyuki Aotani
, Hidehiko Masuhara, Atsushi Igarashi
:
Method safety mechanism for asynchronous layer deactivation. Sci. Comput. Program. 156: 104-120 (2018) - 2016
- [j3]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) - [j2]Tetsuo Kamina, Tomoyuki Aotani
, Hidehiko Masuhara, Tetsuo Tamai:
Context-Oriented Software Development with Generalized Layer Activation Mechanism. LNCS Trans. Modul. Compos. 1: 3-40 (2016) - [j1]Tetsuo Kamina, Tomoyuki Aotani
, Hidehiko Masuhara:
Generalized Layer Activation Mechanism for Context-Oriented Programming. LNCS Trans. Modul. Compos. 1: 123-166 (2016)
Conference and Workshop Papers
- 2023
- [c45]Yudai Tanabe
, Luthfan Anshar Lubis
, Tomoyuki Aotani
, Hidehiko Masuhara
:
Compilation Semantics for a Programming Language with Versions. APLAS 2023: 3-23 - 2022
- [c44]Yudai Tanabe
, Luthfan Anshar Lubis
, Tomoyuki Aotani
, Hidehiko Masuhara
:
A Step toward Programming with Versions in Real-World Functional Languages. COP@ECOOP 2022: 44-51 - [c43]Luthfan Anshar Lubis, Yudai Tanabe
, Tomoyuki Aotani, Hidehiko Masuhara:
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 - 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, Hidehiko Masuhara, Tomoyuki Aotani:
Extending a meta-tracing compiler to mix method and tracing compilation. Programming 2019: 5:1-5:3 - 2018
- [c38]Hiroaki Inoue, Tomoyuki Aotani
, Atsushi Igarashi
:
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. ECOOP 2018: 2:1-2:33 - [c37]Yudai Tanabe
, Tomoyuki Aotani
, Hidehiko Masuhara:
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 - 2017
- [c35]Tetsuo Kamina, Tomoyuki Aotani
, Hidehiko Masuhara:
Push-based reactive layer activation in context-oriented programming. COP@ECOOP 2017: 17-21 - [c34]Hiroaki Inoue, Tomoyuki Aotani
, Atsushi Igarashi
:
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
- [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
, Hidehiko Masuhara:
A Lightweight Optimization Technique for Data Types a la Carte. MODULARITY (Companion) 2016: 86-90 - [c30]Tetsuo Kamina, Tomoyuki Aotani
, Hidehiko Masuhara:
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
, Hridesh Rajan
, Tomoyuki Aotani
:
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
, Hidehiko Masuhara:
Generalized layer activation mechanism through contexts and subscribers. MODULARITY 2015: 14-28 - [c25]Tetsuo Kamina, Tomoyuki Aotani
, Hidehiko Masuhara, Atsushi Igarashi:
Method Safety Mechanism for Asynchronous Layer Deactivation. COP@ECOOP 2015: 6:1-6:6 - [c24]Tomoyuki Aotani
, Tetsuo Kamina, Hidehiko Masuhara:
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
, Hidehiko Masuhara, Tetsuo Tamai:
Context-oriented software engineering: a modularity vision. MODULARITY 2014: 85-98 - [c19]Tomoyuki Aotani
, Tetsuo Kamina, Hidehiko Masuhara:
Unifying Multiple Layer Activation Mechanisms Using One Event Sequence. COP@ECOOP 2014: 2:1-2:6 - [c18]Tetsuo Kamina, Tomoyuki Aotani
, Atsushi Igarashi
:
On-Demand Layer Activation for Type-Safe Deactivation. COP@ECOOP 2014: 4:1-4:7 - [c17]Tomoyuki Aotani
, Tetsuo Kamina, Hidehiko Masuhara:
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
, Masato Suzuki:
Improving the Quality of AspectJ Application: Translating Name-Based Pointcuts to Analysis-Based Pointcuts. QSIC 2014: 27-36 - 2013
- [c14]Lin Wang, Tomoyuki Aotani
, Masato Suzuki:
Feature selection for clustering based aspect mining. VariComp@AOSD 2013: 7-12 - [c13]Lin Wang, Tomoyuki Aotani
, Masato Suzuki:
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
, Hidehiko Masuhara:
A unified context activation mechanism. COP@ECOOP 2013: 2:1-2:6 - [c10]Tetsuo Kamina, Tomoyuki Aotani
, Hidehiko Masuhara:
A core calculus of composite layers. FOAL 2013: 7-12 - 2012
- [c9]Manabu Toyama, Tomoyuki Aotani
, Hidehiko Masuhara:
A per-type instantiation mechanism for generic aspects. VariComp@AOSD 2012: 25-30 - [c8]Tetsuo Kamina, Tomoyuki Aotani
, Hidehiko Masuhara:
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
, Hidehiko Masuhara:
EventCJ: a context-oriented programming language with declarative event-based context transition. AOSD 2011: 253-264 - [c6]Fan Yang, Tomoyuki Aotani
, Hidehiko Masuhara, Flemming Nielson
, Hanne Riis Nielson
:
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. COORDINATION 2011: 202-218 - [c5]Tomoyuki Aotani
, Tetsuo Kamina, Hidehiko Masuhara:
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
, Manabu Toyama, Hidehiko Masuhara:
Supporting covariant return types and generics in type relaxed weaving. FOAL 2011: 25-29 - 2010
- [c3]Tetsuo Kamina, Tomoyuki Aotani
, Hidehiko Masuhara:
Designing event-based context transition in context-oriented programming. COP@ECOOP 2010: 2:1-2:6 - 2007
- [c2]Tomoyuki Aotani
, Hidehiko Masuhara:
SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts. AOSD 2007: 161-172 - [c1]Tomoyuki Aotani
, Hidehiko Masuhara:
Towards a type system for detecting never-matching pointcut compositions. FOAL 2007: 23-26
Editorship
- 2014
- [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]
Informal and Other Publications
- 2023
- [i3]Yudai Tanabe
, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara:
Compilation Semantics for a Programming Language with Versions. CoRR abs/2310.00298 (2023) - 2021
- [i2]Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara:
A Functional Programming Language with Versions. CoRR abs/2107.07301 (2021) - 2018
- [i1]Tetsuo Kamina, Tomoyuki Aotani:
Harmonizing Signals and Events with a Lightweight Extension to Java. CoRR abs/1803.10199 (2018)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-06-10 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint