Program Equivalence is a formal relation in the theory of programming languages that identifies two programs as semantically indistinguishable when they exhibit identical observable behaviors under all possible contexts and inputs, according to a given semantics.
166
Publications
9.9K
Citations
292
Authors
154
Institutions
Publications per year
2017–2026
23
Publications
166
Algebraic laws for nondeterminism and concurrency
Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations
Computational lambda-calculus and monads
Eugenio Moggi · 2003 · 858 citations
Computing, Computer Science, Algebra +13
Dexter Kozen · ACM Transactions on Programming Languages and Systems · 1997 · 522 citations · Full text
1–5 of 166
Authors
292
- SW
9
h-index
- CT
6
h-index
- HT
6
h-index
- TE
6
h-index
- MF
5
h-index
1–5 of 292
Institutions
154
TU Wien
Vienna, Austria
11 h-index
32 publications
1K citations
Cornell University
Ithaca, United States
7 h-index
14 publications
1K citations
Stanford University
Stanford, United States
5 h-index
8 publications
961 citations
Max Planck Institute for Software Systems
Saarbrücken, Germany
5 h-index
14 publications
736 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
4 h-index
6 publications
182 citations
Technion – Israel Institute of Technology
Haifa, Israel
4 h-index
8 publications
514 citations
Microsoft Research (India)
Bengaluru, India
4 h-index
4 publications
185 citations
University of Edinburgh
Edinburgh, United Kingdom
4 h-index
6 publications
3.6K citations
1–8 of 154
Venues
- Theoretical Computer Science
11 publications · 335 citations
11
h-index
- Journal of the ACM
JACM · 8 publications · 1.6K citations
8
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 7 publications · 193 citations
7
h-index
- ACM Transactions on Computational Logic
TOCL · 4 publications · 648 citations
4
h-index
- ACM SIGPLAN Notices
4 publications · 117 citations
4
h-index
1–5