Type Domains for Abstract Interpretation : A critical study
Per Mildner · 1999
Programming languages with dynamic typing such as Prolog do not require that the programmer declares the types of data or procedures. This flexibility, however, comes at a price. The lack of declar ...