Tomoyuki Aotani

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2019

Extending a meta-tracing compiler to mix method and tracing compilation.

[BibT_eX]

[DOI]

Yusuke Izawa

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

An approach for persistent time-varying values.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

TinyCORP: A Calculus for Context-Oriented Reactive Programming.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Context-oriented Programming, 2019

2018

Method safety mechanism for asynchronous layer deactivation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Harmonizing Signals and Events with a Lightweight Extension to Java.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2018

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact).

[BibT_eX]

[DOI]

Hiroaki Inoue

Dagstuhl Artifacts Ser., 2018

Live, synchronized, and mental map preserving visualization for data structure programming.

[BibT_eX]

[DOI]

Akio Oka

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

A Context-Oriented Programming Approach to Dependency Hell.

[BibT_eX]

[DOI]

Yudai Tanabe

Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition, 2018

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions.

[BibT_eX]

[DOI]

Hiroaki Inoue

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Live Data Structure Programming.

[BibT_eX]

[DOI]

Proceedings of the Companion to the first International Conference on the Art, 2017

A DSL for compensable and interruptible executions.

[BibT_eX]

[DOI]

Hiroaki Inoue

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2017

Push-based reactive layer activation in context-oriented programming.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Context-Oriented Programming, 2017

2016

Context-Oriented Software Development with Generalized Layer Activation Mechanism.

[BibT_eX]

[DOI]

LNCS Trans. Modul. Compos., 2016

Generalized Layer Activation Mechanism for Context-Oriented Programming.

[BibT_eX]

[DOI]

LNCS Trans. Modul. Compos., 2016

Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq.

[BibT_eX]

[DOI]

Izumi Asakura

J. Inf. Process., 2016

Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler.

[BibT_eX]

[DOI]

Ruochen Huang

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

Specifying and Verifying Advanced Control Features.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Towards Modular Reasoning for Context-Oriented Programs.

[BibT_eX]

[DOI]

Gary T. Leavens

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

An advice mechanism for non-local flow control.

[BibT_eX]

[DOI]

Kenta Fujita

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

A Lightweight Optimization Technique for Data Types a la Carte.

[BibT_eX]

[DOI]

Hirotada Kiriyama

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

Toward fluent module interactions.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Shiranui: a live programming with support for unit testing.

[BibT_eX]

[DOI]

Tomoki Imai

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Making live programming practical by bridging the gap between trial-and-error development and unit testing.

[BibT_eX]

[DOI]

Tomoki Imai

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Pyrlang: a high performance Erlang virtual machine based on RPython.

[BibT_eX]

[DOI]

Ruochen Huang

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Context-Oriented Programming, 2015

Generalized layer activation mechanism through contexts and subscribers.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Modularity, 2015

2014

Improving the Quality of AspectJ Application: Translating Name-Based Pointcuts to Analysis-Based Pointcuts.

[BibT_eX]

[DOI]

Lin Wang

Masato Suzuki

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Code recommendation based on a degree-of-interest model.

[BibT_eX]

[DOI]

Naoya Murakami

Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

Context holders: realizing multiple layer activation mechanisms in a single context-oriented language.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014

On-Demand Layer Activation for Type-Safe Deactivation.

[BibT_eX]

[DOI]

Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

Unifying Multiple Layer Activation Mechanisms Using One Event Sequence.

[BibT_eX]

[DOI]

Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

Context-oriented software engineering: a modularity vision.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Modularity, 2014

2013

A core calculus of composite layers.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

A unified context activation mechanism.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Context-Oriented Programming, 2013

Interaction awareness for aspect refactoring.

[BibT_eX]

[DOI]

Lin Wang

Masato Suzuki

Proceedings of the 8th international workshop on Advanced modularization techniques, 2013

Feature selection for clustering based aspect mining.

[BibT_eX]

[DOI]

Lin Wang

Masato Suzuki

Proceedings of the 4th international workshop on Variability & composition, 2013

Hierarchical concern-based pointcuts.

[BibT_eX]

[DOI]

Takeshi Kojima

Proceedings of the 8th international workshop on Advanced modularization techniques, 2013

2012

Bridging real-world contexts and units of behavioral variations by composite layers.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Context-Oriented Programming, 2012

A per-type instantiation mechanism for generic aspects.

[BibT_eX]

[DOI]

Manabu Toyama

Proceedings of the 3rd International Workshop on Variability & Composition, 2012

2011

Supporting covariant return types and generics in type relaxed weaving.

[BibT_eX]

[DOI]

Manabu Toyama

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

EventCJ: a context-oriented programming language with declarative event-based context transition.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Designing event-based context transition in context-oriented programming.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Context-Oriented Programming, 2010

2007

Towards a type system for detecting never-matching pointcut compositions.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts.

[BibT_eX]

[DOI]