• Execution levels for aspect-oriented programming: Design, semantics, implementations and applications 

      Tanter, Éric Pierre; Figueroa, Ismael; Tabareau, Nicolás (Elsevier, 2014)
      In aspect-oriented programming (AOP) languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if pointcuts in AspectJ, or simply all ...
    • Gradual Certified Programming in Coq 

      Tanter, Éric Pierre; Tabareau, Nicolás (Assoc Computing Machinery, 2016)
      Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated. Just like gradual typing allows for a smooth transition ...