A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages

Authors:
Kung Chen;Shu-Chun Weng;Meng Wang;Siau-Cheng Khoo;Chung-Hsin Chen
Affiliations:
National Chengchi University, ;National Taiwan University, ;Oxford University, ;National University of, Singapore;National Chengchi University,
Venue:
SAS '07 Proceedings of the 14th international Symposium on Static Analysis
Year:
2007

Citing 0
Cited 5

Designing aspects for side-effect localization

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
What does aspect-oriented programming mean for functional programmers?

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
EffectiveAdvice: disciplined advice with explicit effects

Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Type-directed weaving of aspects for polymorphically typed functional languages

Science of Computer Programming
Side-effect localization for lazy, purely functional languages via aspects

Higher-Order and Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Prominent examples of dynamic communication systems include traffic control systems and ad hoc networks. They are hard to verify due to inherent unboundedness. Unbounded creation and destruction of objects and a dynamically evolving communication topology ...