Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Abstract interpretation and application to logic programs

1992579 citationsJournal Article

Authors

Patrick Cousot · École Normale Supérieure - PSL

Radhia Cousot · Laboratoire d'Informatique de l'École Polytechnique

Topics & Keywords

Logic, programming, and type systems Formal Methods in Verification Software Engineering Research

Publication Details

Published in: The Journal of Logic Programming

Volume 13, Issue 2-3, pp. 103-179

DOI: 10.1016/0743-1066(92)90030-7

Field-Weighted Citation Impact: 36.69

Abstract interpretation and application to logic programs | Researchclopedia