Tomoyuki Aotani
机构: Sanyo Onoda City University
每年引用次数
引用次数
引用: 572
H-指数: 12
I10-指数 : 19
出版物: 71
AspectKE*: Security Aspects with Program Analysis for Distributed Systems
Fan Yang , Hidehiko Masuhara , Tomoyuki Aotani , Flemming Nielson
9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) 27 -31
2
2010
Nataly : A Framework For Translating Named-based Pointcuts to Analysis-based Pointcuts
Tomoyuki Aotani , Lin Wang , Masato Suzuki
日本ソフトウェア科学会大会論文集 29 473 -493
2012
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
Tomoyuki Aotani , Atsushi Igarashi , Hiroaki Inoue
european conference on object-oriented programming 109 33
1
2018
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)
Tomoyuki Aotani , Atsushi Igarashi , Hiroaki Inoue
Dagstuhl Artifacts Ser. 4 2
2018
A unified context activation mechanism
Tetsuo Kamina , Tomoyuki Aotani , Hidehiko Masuhara
Proceedings of the 5th International Workshop on Context-Oriented Programming 2
10
2013
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 '12 4
4
2012
A DSL for compensable and interruptible executions
Hiroaki Inoue , Tomoyuki Aotani , Atsushi Igarashi
acm conference on systems programming languages and applications software for humanity 8 -14
1
2017
Towards Modular Reasoning for Context-Oriented Programs
Tomoyuki Aotani , Gary T. Leavens
formal techniques for java-like programs 8
3
2016
EventCJ
Tetsuo Kamina , Tomoyuki Aotani , Hidehiko Masuhara
Proceedings of the tenth international conference on Aspect-oriented software development - AOSD '11 253 -264
95
2011
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 '11 25 -29
2011
Generalized layer activation mechanism through contexts and subscribers
Tetsuo Kamina , Tomoyuki Aotani , Hidehiko Masuhara
Proceedings of the 14th International Conference on Modularity 14 -28
18
2015
Live, synchronized, and mental map preserving visualization for data structure programming
Akio Oka , Hidehiko Masuhara , Tomoyuki Aotani
sigplan symposium on new ideas new paradigms and reflections on programming and software 72 -87
1
2018
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 8 -14
1
2018
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 26
3
2017
Introducing Composite Layers in EventCJ
Tetsuo Kamina , Tomoyuki Aotani , Hidehiko Masuhara
Ipsj Online Transactions 6 ( 2) 1 -8
11
2013
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
2
2016
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 17 -21
6
2017
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
2016
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
1
2016
Toward fluent module interactions
Tetsuo Kamina , Tomoyuki Aotani , Hidehiko Masuhara
Companion Proceedings of the 15th International Conference on Modularity 158 -159
2016