Abstract interpretation : A unified lattice model for static analysis of programs by construction or approximation of fixpoints

Author(s)

Journal

  • POPL, 1977

    POPL, 1977, 238-252, 1977

Cited by:  1

Codes

  • NII Article ID (NAID)
    10031113542
  • Article Type
    Proceedings
  • Data Source
    CJPref 
Page Top