ScholarIQanswers from OpenAlex
Logic, programming, and type systems
TopicLeading institutions, researchers & key papers
Logic, programming, and type systems is a topic indexed in ScholarIQ from OpenAlex.
What is known about Logic, programming, and type systems?
ScholarIQrecord summary
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.
How many works does Logic, programming, and type systems have?
ScholarIQindexed works
Logic, programming, and type systems has 113,180 works in the ScholarIQ index. The count is the OpenAlex total, not the number of papers listed on this page.
How many citations does Logic, programming, and type systems have?
ScholarIQcitation count
Logic, programming, and type systems has 1,312,951 citations in the OpenAlex counts ScholarIQ stores.
What is the OpenAlex record for Logic, programming, and type systems?
ScholarIQopenalex
The OpenAlex for Logic, programming, and type systems is on the source record.
Who are the most-cited researchers behind Logic, programming, and type systems?
ScholarIQtop researchers by citations
Where is Logic, programming, and type systems research published, and who funds it?
ScholarIQvenues & funding sources
TOP JOURNALS
No journal data available yet.
TOP FUNDERS
National Science Foundation—
NIH—
Wellcome Trust—
European Research Council—
Funder breakdown is a member featureSign up free to unlock