Latest Research in Logic, programming, and type systems
13 research papers · 2026 median publication year
Top Research Topics in Logic, programming, and type systems
- Logic, programming, and type systems — 3 papers
- Programming Languages — 3 papers
- Cryptography and Security — 2 papers
- Scientific Computing and Data Management — 1 papers
- Networking and Internet Architecture — 1 papers
- Logic in Computer Science — 1 papers
- Software Engineering — 1 papers
- Chaos-based Image/Signal Encryption — 1 papers
Highest-Cited Papers
- Semantic Completeness for Correct Maintenance: A Strict Hierarchy of Typing and Inheritance
- Semantic Completeness for Correct Maintenance: A Strict Hierarchy of Typing and Inheritance
- CB-VER: A Stable Foundation for Modular Control Plane Verification
- Efficient Branch-and-Bound Testing and Verification of zkVMs
- Equality saturation theory exploration `a la carte
- QuickerChick
- Specification-Guided Path Shortcutting for Efficient Probabilistic Model Checking
- Lie to Me: Finding Bugs in ZK DSL Toolchains with Adversarial Witness Injection
- Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
- ProofPulse: Interactive Proof Coverage Analysis for Dafny
- Operator 5: Endogenous Variable Latency Calibration Operator Strict Mathematical Specification, Derivation, and Verification
- Scope-Oriented Programming: A Conceptual Framework for Annotation-Free Deterministic Memory
- Scope-Oriented Programming: A Conceptual Framework for Annotation-Free Deterministic Memory