Logic, programming, and type systems

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.

Journals publishing in this area

1

Communications of the ACM

ISSN 0001-0782539 articles in this topic

431h-index

3.27Impact

16KArticles

1.2MCitations

2

ACM Computing Surveys

ISSN 0360-0300173 articles in this topic

322h-index

17.05Impact

3.7KArticles

478.9KCitations