CJAdviser: SMT-based debugging support for ContextJ
S Uchio, N Ubayashi, Y Kamei - … of the 3rd ACM International Workshop …, 2011 - dl.acm.org
Context-awareness plays an important role in developing flexible and adaptive software.
However, it is not easy to write context-aware programs because context cannot be treated
as a module in the traditional programming languages. COP (Context-Oriented
Programming) languages such as ContextJ* enable programmers to describe the context-
aware behavior elegantly. The primary system behavior can be separated from the context-
aware behavior. On the other hand, unfortunately, it becomes difficult to debug the programs …
However, it is not easy to write context-aware programs because context cannot be treated
as a module in the traditional programming languages. COP (Context-Oriented
Programming) languages such as ContextJ* enable programmers to describe the context-
aware behavior elegantly. The primary system behavior can be separated from the context-
aware behavior. On the other hand, unfortunately, it becomes difficult to debug the programs …
[CITATION][C] CJAdviser: SMT-based Debugging Support for ContextJ
鵜林尚靖 - 3rd Workshop on Context-Oriented Programming (COP …, 2011 - cir.nii.ac.jp
CJAdviser : SMT-based Debugging Support for ContextJ* | CiNii Research … CJAdviser :
SMT-based Debugging Support for ContextJ* … タイトル CJAdviser : SMT-based
Debugging Support for ContextJ* …
SMT-based Debugging Support for ContextJ* … タイトル CJAdviser : SMT-based
Debugging Support for ContextJ* …
Showing the best results for this search. See all results