Type Analysis is a static analysis method that determines the types of variables and expressions in a program to ensure type safety and detect type errors during compilation.
445
Publications
23.8K
Citations
811
Authors
331
Institutions
Publications per year
2017–2026
42
Parents
Publications
445
Points-to analysis in almost linear time
Bjarne Steensgaard · 1996 · 1.1K citations · Full text
Sequence type analysis and recombinational tests (START)
Keith A. Jolley, Edward J. Feil, M.S. Chan et al. · Bioinformatics · 2001 · 517 citations · Full text
1–5 of 445
Authors
811
- CC
11
h-index
- SH
10
h-index
- JP
10
h-index
- JS
8
h-index
- MD
7
h-index
1–5 of 811
Institutions
331
Stanford University
Stanford, United States
15 h-index
22 publications
2.4K citations
University of Washington
Seattle, United States
13 h-index
32 publications
2.2K citations
Aarhus University
Aarhus, Denmark
12 h-index
26 publications
823 citations
Carnegie Mellon University
Pittsburgh, United States
11 h-index
19 publications
1.7K citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
11 h-index
20 publications
1.5K citations
University of Duisburg-Essen
Essen, Germany
10 h-index
18 publications
842 citations
University of Maryland, College Park
College Park, United States
10 h-index
23 publications
1.6K citations
Utrecht University
Utrecht, The Netherlands
9 h-index
18 publications
428 citations
1–8 of 331
Venues
- ACM SIGPLAN Notices
31 publications · 1.1K citations
20
h-index
- ACM Transactions on Programming Languages and Systems
15 publications · 1.3K citations
14
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 10 publications · 229 citations
10
h-index
- IEEE Transactions on Software Engineering
TSE · 5 publications · 855 citations
5
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 5 publications · 75 citations
5
h-index
1–5