Now showing items 1-3 of 3

    • 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 ...
    • Foundations of dependent interoperability 

      Evariste Dagand, Pierre; Tabareau, Nicolás; Tanter, Éric Pierre (Cambridge University Press, 2018)
      Full-spectrum dependent types promise to enable the development of correct-by-construction software. However, even certified software needs to interact with simply-typed or untyped programs, be it to perform system calls, ...
    • 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 ...