Work

Automatic Inference of Necessary Preconditions

Year: 2013

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-35873-9_10

Authors: Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo

Institutions: Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, École Normale Supérieure - PSL, Courant Institute of Mathematical Sciences, New York University, Microsoft (United States)

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W146475325

FWCI: 5.821

Cites: 53

Cited by: 105

Related to: 10