|
発表年月
|
タイトル／共同研究者
|
掲載誌
|
巻・号・頁
|
学術機関等
|
| 2025/02 |
Consistent Distributed Reactive Programming with Retroactive Computation.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
CoRR |
abs/2502.20534巻
|
|
| 2025/02 |
Evolution Language Framework for Persistent Objects.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
CoRR |
abs/2502.20530巻
|
|
| 2025/01 |
Consistent Distributed Reactive Programming with Retroactive Computation.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Art Sci. Eng. Program. |
10巻
1号
|
|
| 2025/01 |
Evolution Language Framework for Persistent Objects.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Art Sci. Eng. Program. |
10巻
1号
|
|
| 2023/01 |
Compilation Semantics for a Programming Language with Versions.
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
|
CoRR |
abs/2310.00298巻
|
|
| 2023/01 |
Compilation Semantics for a Programming Language with Versions.
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
|
APLAS |
3から
23ページまで
|
|
| 2022/01 |
A Functional Programming Language with Versions.
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
|
The Art, Science, and Engineering of Programming |
6巻
1号
5から
5ページまで
|
|
| 2022/01 |
A Step toward Programming with Versions in Real-World Functional Languages.
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
|
COP@ECOOP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP)(COP@ECOOP) |
44から
51ページまで
|
ACM |
| 2022/01 |
BatakJava: An Object-Oriented Programming Language with Versions.
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering(SLE) |
222から
234ページまで
|
ACM |
| 2021/01 |
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
35th European Conference on Object-Oriented Programming(ECOOP) |
17から
30ページまで
|
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik |
| 2021/01 |
A Functional Programming Language with Versions.
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
|
CoRR |
abs/2107.07301巻
|
|
| 2019/01 |
TinyCORP: A Calculus for Context-Oriented Reactive Programming.
Tetsuo Kamina, Tomoyuki Aotani
|
Proceedings of the Workshop on Context-oriented Programming(COP@ECOOP) |
1から
8ページまで
|
ACM |
| 2019/01 |
Extending a meta-tracing compiler to mix method and tracing compilation.
Yusuke Izawa, Hidehiko Masuhara, Tomoyuki Aotani
|
Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming(Programming) |
5から
3ページまで
|
ACM |
| 2019/01 |
An approach for persistent time-varying values.
Tetsuo Kamina, Tomoyuki Aotani
|
Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and
Software(Onward!)
|
17から
31ページまで
|
ACM |
| 2018/01 |
A Context-Oriented Programming Approach to Dependency Hell.
Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition(COP@ECOOP) |
8から
14ページまで
|
ACM |
| 2018/01 |
Live, synchronized, and mental map preserving visualization for data structure programming.
Akio Oka, Hidehiko Masuhara, Tomoyuki Aotani
|
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and
Software(Onward!)
|
72から
87ページまで
|
ACM |
| 2018/01 |
Method safety mechanism for asynchronous layer deactivation.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi
|
Science of Computer Programming |
156巻
104から
120ページまで
|
|
| 2018/01 |
Harmonizing Signals and Events with a Lightweight Extension to Java.
Tetsuo Kamina, Tomoyuki Aotani
|
The Art, Science, and Engineering of Programming |
2巻
3号
5から
5ページまで
|
|
| 2018/01 |
Harmonizing Signals and Events with a Lightweight Extension to Java.
Tetsuo Kamina, Tomoyuki Aotani
|
CoRR |
abs/1803.10199巻
|
|
| 2018/01 |
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions.
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
|
32nd European Conference on Object-Oriented Programming(ECOOP) |
2から
33ページまで
|
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik |
| 2018/01 |
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact).
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
|
Dagstuhl Artifacts Series |
4巻
3号
4から
2ページまで
|
|
| 2017/01 |
Push-based reactive layer activation in context-oriented programming.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 9th International Workshop on Context-Oriented Programming(COP@ECOOP) |
17から
21ページまで
|
ACM |
| 2017/01 |
A DSL for compensable and interruptible executions.
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
|
Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems(REBLS@SPLASH) |
8から
14ページまで
|
ACM |
| 2017/01 |
Live Data Structure Programming.
Akio Oka, Hidehiko Masuhara, Tomoki Imai, Tomoyuki Aotani
|
Companion to the first International Conference on the Art, Science and Engineering of Programming(Programming) |
26から
7ページまで
|
ACM |
| 2016/01 |
Specifying and Verifying Advanced Control Features.
Gary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani
|
Leveraging Applications of Formal Methods, Verification and Validation: Discussion |
80から
96ページまで
|
|
| 2016/01 |
Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq.
Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani
|
Journal of Information Processing |
24巻
1号
132から
140ページまで
|
|
| 2016/01 |
Toward fluent module interactions.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Companion Proceedings of the 15th International Conference on Modularity |
158から
159ページまで
|
ACM |
| 2016/01 |
Towards Modular Reasoning for Context-Oriented Programs.
Tomoyuki Aotani, Gary T. Leavens
|
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs(FTfJP@ECOOP) |
8から
8ページまで
|
ACM |
| 2016/01 |
Generalized Layer Activation Mechanism for Context-Oriented Programming.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Transactions on Modularity and Composition |
1巻
123から
166ページまで
|
|
| 2016/01 |
An advice mechanism for non-local flow control.
Hidehiko Masuhara, Kenta Fujita, Tomoyuki Aotani
|
Companion Proceedings of the 15th International Conference on Modularity |
73から
78ページまで
|
ACM |
| 2016/01 |
Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler.
Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani
|
Trends in Functional Programming - 17th International Conference(TFP) |
44から
58ページまで
|
Springer |
| 2016/01 |
Context-Oriented Software Development with Generalized Layer Activation Mechanism.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai
|
Transactions on Modularity and Composition |
1巻
3から
40ページまで
|
|
| 2016/01 |
A Lightweight Optimization Technique for Data Types a la Carte.
Hirotada Kiriyama, Tomoyuki Aotani, Hidehiko Masuhara
|
Companion Proceedings of the 15th International Conference on Modularity |
86から
90ページまで
|
ACM |
| 2015/01 |
Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation.
Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
|
Proceedings of the 7th International Workshop on Context-Oriented Programming(COP@ECOOP) |
8から
7ページまで
|
ACM |
| 2015/01 |
Method Safety Mechanism for Asynchronous Layer Deactivation.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi
|
Proceedings of the 7th International Workshop on Context-Oriented Programming(COP@ECOOP) |
6から
6ページまで
|
ACM |
| 2015/01 |
Generalized layer activation mechanism through contexts and subscribers.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 14th International Conference on Modularity(MODULARITY) |
14から
28ページまで
|
ACM |
| 2015/01 |
Pyrlang: a high performance Erlang virtual machine based on RPython.
Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani
|
Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications:
Software for Humanity
|
48から
49ページまで
|
ACM |
| 2015/01 |
Shiranui: a live programming with support for unit testing.
Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
|
Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications:
Software for Humanity
|
36から
37ページまで
|
ACM |
| 2015/01 |
Making live programming practical by bridging the gap between trial-and-error development and unit testing.
Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
|
Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications:
Software for Humanity
|
11から
12ページまで
|
ACM |
| 2014/01 |
Context holders: realizing multiple layer activation mechanisms in a single context-oriented language.
Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
|
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages(FOAL) |
3から
6ページまで
|
ACM |
| 2014/01 |
Code recommendation based on a degree-of-interest model.
Naoya Murakami, Hidehiko Masuhara, Tomoyuki Aotani
|
Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering(RSSE@ICSE) |
28から
29ページまで
|
ACM |
| 2014/01 |
Improving the Quality of AspectJ Application: Translating Name-Based Pointcuts to Analysis-Based Pointcuts.
Lin Wang, Tomoyuki Aotani, Masato Suzuki
|
2014 14th International Conference on Quality Software(QSIC) |
27から
36ページまで
|
IEEE |
| 2014/01 |
Proceedings of the 9th International Workshop on Advanced Modularization Techniques, AOAsia 2014, Hong Kong, China, November
16, 2014
|
AOAsia@SIGSOFT FSE |
|
ACM |
| 2014/01 |
Unifying Multiple Layer Activation Mechanisms Using One Event Sequence.
Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
|
Proceedings of 6th International Workshop on Context-Oriented Programming(COP@ECOOP) |
2から
6ページまで
|
ACM |
| 2014/01 |
On-Demand Layer Activation for Type-Safe Deactivation.
Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi
|
Proceedings of 6th International Workshop on Context-Oriented Programming(COP@ECOOP) |
4から
7ページまで
|
ACM |
| 2014/01 |
Context-oriented software engineering: a modularity vision.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai
|
13th International Conference on Modularity(MODULARITY) |
85から
98ページまで
|
ACM |
| 2013/07 |
オブジェクトごとの層遷移を宣言的に記述できる文脈指向言語EventCJ
青谷 知幸, 紙名 哲生, 増原 英彦
|
コンピュータソフトウェア |
30巻
3号
130から
147ページまで
|
|
| 2013/01 |
A unified context activation mechanism.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 5th International Workshop on Context-Oriented Programming(COP@ECOOP) |
2から
6ページまで
|
ACM |
| 2013/01 |
Hierarchical concern-based pointcuts.
Takeshi Kojima, Tomoyuki Aotani
|
Proceedings of the 8th international workshop on Advanced modularization techniques(AOAsia@AOSD) |
19から
22ページまで
|
ACM |
| 2013/01 |
Interaction awareness for aspect refactoring.
Lin Wang, Tomoyuki Aotani, Masato Suzuki
|
Proceedings of the 8th international workshop on Advanced modularization techniques(AOAsia@AOSD) |
15から
18ページまで
|
ACM |
| 2013/01 |
A core calculus of composite layers.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages(FOAL) |
7から
12ページまで
|
ACM |
| 2013/01 |
Introducing Composite Layers in EventCJ.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Inf. Media Technol. |
8巻
2号
279から
286ページまで
|
|
| 2013/01 |
Feature selection for clustering based aspect mining.
Lin Wang, Tomoyuki Aotani, Masato Suzuki
|
Proceedings of the 4th international workshop on Variability & composition(VariComp@AOSD) |
7から
12ページまで
|
ACM |
| 2013/01 |
Introducing composite layers in eventCJ
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
IPSJ Online Transactions |
6巻
1号
1から
8ページまで
|
|
| 2012/01 |
Bridging real-world contexts and units of behavioral variations by composite layers.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the International Workshop on Context-Oriented Programming(COP@ECOOP) |
4から
6ページまで
|
ACM |
| 2012/01 |
A per-type instantiation mechanism for generic aspects.
Manabu Toyama, Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 3rd International Workshop on Variability & Composition(VariComp@AOSD) |
25から
30ページまで
|
ACM |
| 2011/01 |
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.
Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson
|
Coordination Models and Languages - 13th International Conference(COORDINATION) |
202から
218ページまで
|
Springer |
| 2011/01 |
Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition.
Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
|
Proceedings of the 3rd International Workshop on Context-Oriented Programming(COP@ECOOP) |
1から
7ページまで
|
ACM |
| 2011/01 |
Supporting covariant return types and generics in type relaxed weaving.
Tomoyuki Aotani, Manabu Toyama, Hidehiko Masuhara
|
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages(FOAL) |
25から
29ページまで
|
ACM |
| 2011/01 |
EventCJ: a context-oriented programming language with declarative event-based context transition.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 10th International Conference on Aspect-Oriented Software Development(AOSD) |
253から
264ページまで
|
ACM |
| 2010/01 |
Designing event-based context transition in context-oriented programming.
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 2nd International Workshop on Context-Oriented Programming(COP@ECOOP) |
2から
6ページまで
|
ACM |
| 2009/04 |
アドバイスの安全な実行のためのアスペクト指向プログラミング言語の型システム
青谷知幸, 増原英彦
|
コンピュータソフトウェア |
26巻
2号
170から
182ページまで
|
|
| 2007/01 |
SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts.
Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 6th International Conference on Aspect-Oriented Software Development(AOSD) |
161から
172ページまで
|
ACM |
| 2007/01 |
Towards a type system for detecting never-matching pointcut compositions.
Tomoyuki Aotani, Hidehiko Masuhara
|
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages(FOAL) |
23から
26ページまで
|
ACM |
| 2006/05 |
ユーザー定義されたプログラム解析を利用するアスペクト指向プログラムのコンパイル手法
青谷知幸, 増原英彦
|
コンピュータソフトウェア |
23巻
2号
157から
167ページまで
|
|