Work

Comparing the Galois connection and widening/narrowing approaches to abstract interpretation

Year: 2006

Type: conference-paper

Source: Springer eBooks

Parent work: Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

DOI: 10.1007/3-540-55844-6_142

Authors: Patrick Cousot, Radhia Cousot

Institutions: École Normale Supérieure - PSL, École Polytechnique, Laboratoire d'Informatique de l'École Polytechnique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1568478782

FWCI: 14.25

Cites: 32

Cited by: 430

Related to: 10