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.
Papers listed on taxonomy pages are the top few works per node from the OpenAlex snapshot. That list is not exhaustive and is not an endorsement. The topic map and the journal registry remain separate: there is still no authoritative topic-to-venue or topic-to-organization edge. Search is a lexical lookup, not a claim that a venue publishes a topic.
Most cited
- Artificial intelligence: A modern approach
- A Complexity Measure
- Strips: A new approach to the application of theorem proving to problem solving
- A logic for default reasoning
- Communicating sequential processes
- Communicating sequential processes
Most recent
- A self-contained solver for magma law implications, with kernel-checked certificates
- A self-contained solver for magma law implications, with kernel-checked certificates
- A self-contained solver for magma law implications, with kernel-checked certificates
- TRISDUCTION: A Linguistically, Topologically, and Mathematically Sealed Verification Architecture · Triaxial Orthogonality, Twelve-Gate Closure, the Quaternionic Completion, the Root Axiom, and the Master Pre-Sealed Proposition Ledger
- Compactification Costs: A Typed Framework for Extension, Boundary, Identification, and Ambiguity
- A self-contained solver for magma law implications, with kernel-checked certificates