PICO Portalanswers from OpenAlex
Logic, programming, and type systems
TopicLeading institutions, researchers & key papers
Logic, programming, and type systems is a topic indexed in PICO Portal from OpenAlex.
What is known about Logic, programming, and type systems?
PICO Portalrecord 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?
PICO Portalindexed works
Logic, programming, and type systems has 113,180 works in the PICO Portal 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?
PICO Portalcitation count
Logic, programming, and type systems has 1,312,951 citations in the OpenAlex counts PICO Portal stores.
What is the OpenAlex record for Logic, programming, and type systems?
PICO Portalopenalex
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?
PICO Portaltop researchers by citations
Where is Logic, programming, and type systems research published, and who funds it?
PICO Portalvenues & 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