Soundness Proofs is a formal method in abstract interpretation that establishes the correctness of an abstract semantics by proving it conservatively approximates the concrete semantics, ensuring all inferred properties hold in the actual system behavior.
173
Publications
8.7K
Citations
346
Authors
197
Institutions
Publications per year
2017–2026
30
Publications
173
Explicit Provability and Constructive Semantics
Sergei Artëmov · Bulletin of Symbolic Logic · 2001 · 449 citations
SHERPA 1. , a proof-of-concept version
T. Gleisberg, Stefan Hoeche, Frank Krauss et al. · Journal of High Energy Physics · 2004 · 378 citations · Full text
1–5 of 173
Authors
346
- AW
5
h-index
- ZN
4
h-index
- UD
4
h-index
- FL
4
h-index
- ZS
4
h-index
1–5 of 346
Institutions
197
Centre National de la Recherche Scientifique
Paris, France
10 h-index
15 publications
706 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
9 h-index
9 publications
821 citations
Aarhus University
Aarhus, Denmark
7 h-index
14 publications
538 citations
Yale University
New Haven, United States
6 h-index
16 publications
865 citations
Université Paris Cité
Paris, France
6 h-index
9 publications
529 citations
Chalmers University of Technology
Gothenburg, Sweden
5 h-index
7 publications
223 citations
Princeton University
Princeton, United States
5 h-index
12 publications
744 citations
University of Padua
Padua, Italy
5 h-index
6 publications
198 citations
1–8 of 197
Venues
- ACM SIGPLAN Notices
7 publications · 273 citations
7
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 5 publications · 78 citations
5
h-index
- Journal of Automated Reasoning
5 publications · 132 citations
5
h-index
- IACR Cryptology ePrint Archive
Repository · 4 publications · 127 citations
4
h-index
- ACM Transactions on Computational Logic
TOCL · 3 publications · 97 citations
3
h-index
1–5