Typing Context-Dependent Behavioural Variation 英文论文文献.docVIP

Typing Context-Dependent Behavioural Variations Pierpaolo Degano Gian-Luigi Ferrari Letterio Galletta Gianluca Mezzetti degano@di.unipi.it giangi@di.unipi.it galletta@di.unipi.it mezzetti@di.unipi.it Dipartimento di Informatica, Universit`a di Pisa, Pisa, Italy Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and fea- tures have been developed. However, some foundational issues remain unclear. This paper proposes adopting static analysis techniques to reason on a