# Logic, programming, and type systems

**Type:** Topics  
**Canonical URL:** https://scholariq.org/topics/logic-programming-and-type-systems-2/

## Facts

| Field | Value |
| --- | --- |
| Citations | 1,312,951 |
| Description | This cluster of papers covers a wide range of program analysis and verification techniques, including static analysis, formal verification, type inference, memory management, concurrency, garbage collection, separation logic, model checking, abstract interpretation, and programming language semantics. |
| Domain | Physical Sciences |
| Field | Computer Science |
| OpenAlex ID | https://openalex.org/T10126 |
| Works | 113,180 |

## Topic researchers

Showing 12 of 20.

- [Herbert A. Simon](https://scholariq.org/researchers/herbert-a-simon/)
- [Noam Chomsky](https://scholariq.org/researchers/noam-chomsky/)
- [Scott Shenker](https://scholariq.org/researchers/scott-shenker/)
- [J. R. Quinlan](https://scholariq.org/researchers/j-r-quinlan/)
- [Donald E. Knuth](https://scholariq.org/researchers/donald-e-knuth/)
- [John H. Holland](https://scholariq.org/researchers/john-h-holland/)
- [Richard M. Karp](https://scholariq.org/researchers/richard-m-karp/)
- [H.J. Eysenck](https://scholariq.org/researchers/h-j-eysenck/)
- [Ben Shneiderman](https://scholariq.org/researchers/ben-shneiderman/)
- [George J. Stigler](https://scholariq.org/researchers/george-j-stigler/)
- [Shankar Sastry](https://scholariq.org/researchers/shankar-sastry/)
- [Feng Chen](https://scholariq.org/researchers/feng-chen-3/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.