articleLISP and Symbolic ComputationMar 1, 2006Closed access

The octagon abstract domain

AMAntoine Miné

Département d'Informatique · École Normale Supérieure - PSL

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

698
total citations
FWCI
31.01
Percentile
100%
References
50
Citations per year

Authors

1

Topics & keywords

Topics
Keywords
  • Abstract interpretation
  • Domain (mathematical analysis)
  • Normalization (sociology)
  • Algorithm
  • Scaling
  • Range (aeronautics)
  • Cuboid
  • Computer science
No related works found for this paper.