LP
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.
110,704
Publications
1,308,186
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (113,333)
- Book Chapter (47,367)
- Preprint (18,594)
- Dissertation (5,862)
- Book (3,435)
Filter by Open Access Type
- Open Access (70,172)
- Closed Access (121,527)
Filter by Authors
- Manuel V. Hermenegildo (302)
- José Meseguer (291)
- Frank Pfenning (268)
- Moshe Y. Vardi (258)
- Nobuko Yoshida (252)
Filter by Topics
- Logic, programming, and type systems (191,699)
- Formal Methods in Verification (66,115)
- Logic, Reasoning, and Knowledge (58,215)
- Parallel Computing and Optimization Techniques (20,580)
- Advanced Algebra and Logic (18,733)