Browsing by Subject "Abstract interpretation"

Now showing items 1-2 of 2

    • Abstracting gradual references 
      Toro Ipinza, Matías; Tanter, Éric Pierre (Elsevier, 2020)
      Gradual typing is an effective approach to integrate static and dynamic typing, which supports the smooth transition between both extremes via the imprecision of type annotations. Gradual typing has been applied in many ...
    • Abstracting Gradual Typing 
      García, Ronald; Clark, Alison M.; Tanter, Éric Pierre (Assoc Computing Machinery, 2016)
      Language researchers and designers have extended a wide variety of type systems to support gradual typing, which enables languages to seamlessly combine dynamic and static checking. These efforts consistently demonstrate ...