# Logic, programming, and type systems

**Type:** Topics  
**Canonical URL:** https://scholariq.org/topics/logic-programming-and-type-systems/

## Facts

| Field | Value |
| --- | --- |
| Description | 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. |
| Domain | Physical Sciences |
| Field | Computer Science |
| OpenAlex ID | t10126 |
| Works | 22 |

## Topic papers all

Showing 15 of 22.

- [A formal basis for architectural connection](https://scholariq.org/papers/a-formal-basis-for-architectural-connection/)
- [The Jalapeño virtual machine](https://scholariq.org/papers/the-jalapeno-virtual-machine/)
- [Centaur: the system](https://scholariq.org/papers/centaur-the-system/)
- [The Jalapeño dynamic optimizing compiler for Java](https://scholariq.org/papers/the-jalapeno-dynamic-optimizing-compiler-for-java/)
- [Algebraic Decision Diagrams and Their Applications](https://scholariq.org/papers/algebraic-decision-diagrams-and-their-applications/)
- [Interprocedural pointer alias analysis](https://scholariq.org/papers/interprocedural-pointer-alias-analysis/)
- [Interprocedural dependence analysis and parallelization](https://scholariq.org/papers/interprocedural-dependence-analysis-and-parallelization/)
- [Verification of Sequential and Concurrent Programs](https://scholariq.org/papers/verification-of-sequential-and-concurrent-programs/)
- [Formulas for calculating supremal controllable and normal sublanguages](https://scholariq.org/papers/formulas-for-calculating-supremal-controllable-and-normal-sublanguages/)
- [A Complete Guide to the Future](https://scholariq.org/papers/a-complete-guide-to-the-future/)
- [A simple applicative language: mini-ML](https://scholariq.org/papers/a-simple-applicative-language-mini-ml/)
- [Detection of weak unstable predicates in distributed programs](https://scholariq.org/papers/detection-of-weak-unstable-predicates-in-distributed-programs/)
- [A Timed Concurrent Constraint Language](https://scholariq.org/papers/a-timed-concurrent-constraint-language/)
- [A fully abstract model for concurrent constraint programming](https://scholariq.org/papers/a-fully-abstract-model-for-concurrent-constraint-programming/)
- [OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case](https://scholariq.org/papers/openjdk-s-java-utils-collection-sort-is-broken-the-good-the-bad-and-the-worst/)

## Topic primary papers

- [The Jalapeño dynamic optimizing compiler for Java](https://scholariq.org/papers/the-jalapeno-dynamic-optimizing-compiler-for-java/)
- [Verification of Sequential and Concurrent Programs](https://scholariq.org/papers/verification-of-sequential-and-concurrent-programs/)
- [A Complete Guide to the Future](https://scholariq.org/papers/a-complete-guide-to-the-future/)
- [A simple applicative language: mini-ML](https://scholariq.org/papers/a-simple-applicative-language-mini-ml/)
- [A Timed Concurrent Constraint Language](https://scholariq.org/papers/a-timed-concurrent-constraint-language/)
- [OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case](https://scholariq.org/papers/openjdk-s-java-utils-collection-sort-is-broken-the-good-the-bad-and-the-worst/)
- [Centaur: the system](https://scholariq.org/papers/centaur-the-system-2/)
- [Centaur: the system](https://scholariq.org/papers/centaur-the-system-3/)
- [Contributions to Functional Analysis](https://scholariq.org/papers/contributions-to-functional-analysis/)
- [Exact minimization of large fixed polarity dual form of reed-muller functions](https://scholariq.org/papers/exact-minimization-of-large-fixed-polarity-dual-form-of-reed-muller-functions/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.