Logic, programming, and type systems
Topics
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 coll... more
Related topics (siblings) Advanced Clustering Algorithms Research, Advanced Computational Techniques and Applications, Advanced Graph Neural Networks, Advanced Software Engineering Methodologies, Advanced Technologies in Various Fields +71 more
Subfield (parent): Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Works count: 69,180
Citations count: 1,269,000