Borrow Checking is a static analysis technique in programming language theory that enforces memory safety by verifying at compile time that references to data adhere to strict lifetime and ownership rules, thereby preventing dangling pointers, data races, and aliasing violations.
8
Publications
285
Citations
21
Authors
10
Institutions
Publications per year
2017–2026
6
Parents
Publications
8
A type system for borrowing permissions
Karl Naden, Robert L. Bocchino, Jonathan Aldrich et al. · ACM SIGPLAN Notices · 2012 · 54 citations
A type system for borrowing permissions
Karl Naden, Robert L. Bocchino, Jonathan Aldrich et al. · 2012 · 44 citations
1–5 of 8
Authors
21
- KN
2
h-index
- JA
2
h-index
- RLRobert L. Bocchino
University of Illinois Urbana-Champaign, United States
2 publications · 98 citations
2
h-index
- KB
2
h-index
- JH
1
h-index
1–5 of 21
Institutions
10
Carnegie Mellon University
Pittsburgh, United States
3 h-index
10 publications
598 citations
Microsoft (United States)
Redmond, United States
2 h-index
2 publications
120 citations
ETH Zurich
Zurich, Switzerland
2 h-index
1 publications
76 citations
Two Sigma Investments (United States)
New York, United States
2 h-index
2 publications
98 citations
Karlsruhe Institute of Technology
Karlsruhe, Germany
1 h-index
1 publications
21 citations
UNSW Sydney
Sydney, Australia
1 h-index
1 publications
76 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
1 h-index
1 publications
44 citations
Victoria University of Wellington
Wellington, New Zealand
1 h-index
1 publications
24 citations
1–8 of 10
Venues
- Proceedings of the ACM on Programming Languages
PACMPL · 2 publications · 120 citations
3
h-index
- arXiv (Cornell University)
Repository · 1 publications · 11 citations
1
h-index
- ACM SIGPLAN Notices
1 publications · 54 citations
1
h-index
- ACM Transactions on Programming Languages and Systems
1 publications · 24 citations
1
h-index
1–4