Work

An Abstract Domain to Infer Octagonal Constraints with Absolute Value

Year: 2014

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-10936-7_7

Authors: Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang

Institutions: National University of Defense Technology, École Normale Supérieure - PSL, Centre National de la Recherche Scientifique, University of New Mexico

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W199768280

FWCI: 0.786

Cites: 32

Cited by: 12

Related to: 10