An Abstract Domain to Discover Interval Linear Equalities

Liqian Chen; Antoine Miné; Ji Wang; Patrick Cousot

Conference Papers Year : 2010

An Abstract Domain to Discover Interval Linear Equalities

(1, 2, 3) , (1, 3) , (2) , (1, 3, 4)

1
2
3
4

Liqian Chen

Function : Correspondent author
PersonId : 881414

Connectez-vous pour contacter l'auteur

Laboratoire d'informatique de l'école normale supérieure

National Key Laboratory for Parallel and Distributed Processing [Changsha]

Abstract Interpretation and Static Analysis

Antoine Miné

Function : Author
PersonId : 2206
IdHAL : antoine-mine
ORCID : 0000-0002-6375-3179
IdRef : 111391636

Laboratoire d'informatique de l'école normale supérieure

Abstract Interpretation and Static Analysis

Ji Wang

Function : Author
PersonId : 881415

National Key Laboratory for Parallel and Distributed Processing [Changsha]

Patrick Cousot

Function : Author
PersonId : 881416

Laboratoire d'informatique de l'école normale supérieure

Abstract Interpretation and Static Analysis

Courant Institute of Mathematical Sciences [New York]

Domains

Performance [cs.PF]

Antoine Miné : Connect in order to contact the contributor

https://hal.science/hal-00531563

Submitted on : Wednesday, November 3, 2010-10:15:45 AM

Last modification on : Friday, April 19, 2024-4:18:55 PM

Dates and versions

hal-00531563 , version 1 (03-11-2010)

Identifiers

HAL Id : hal-00531563 , version 1

Cite

Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot. An Abstract Domain to Discover Interval Linear Equalities. 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. pp.112-128. ⟨hal-00531563⟩

An Abstract Domain to Discover Interval Linear Equalities

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share