Topic · Artificial Intelligence
Logic, programming, and type systems
Logic, programming, and type systems is a research topic within Artificial Intelligence. Science Explorer counts 39k research works in it since 1950. 9.9% of them reached the world's top 10% most cited for their field and year.
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.
- Static Analysis
- Formal Verification
- Type Inference
- Memory Management
- Concurrency
- Garbage Collection
- Separation Logic
- Model Checking
- Abstract Interpretation
- Programming Language Semantics
- Research works
- 39k fractional, since 1950
- In the world top 10%
- 3.8k per year above
- Top-10% rate
- 9.9% share of its works in the world top 10%
- Growth, 2018-21 → 2022-25
- -15% the tick is no change
- Largest producer
United States
27% of the 10 largest, 2022-now
Discussion
Ask a question or share a note about Logic, programming, and type systems. Posts are plain text and can be reported.