The following pages link to MoCHi (Q33285):
Displaying 15 items.
- Constraint-based relational verification (Q832229) (← links)
- Counterexample-guided partial bounding for recursive function synthesis (Q832233) (← links)
- Reasoning about algebraic data types with abstractions (Q1694026) (← links)
- Predicate abstraction and CEGAR for disproving termination of higher-order functional programs (Q1702897) (← links)
- Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable (Q2422040) (← links)
- Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence (Q2988360) (← links)
- Modular Verification of Higher-Order Functional Programs (Q2988670) (← links)
- Higher-Order Model Checking in Direct Style (Q3179299) (← links)
- Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation (Q3179302) (← links)
- (Q4625705) (← links)
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
- A Nonstandard Functional Programming Language (Q5056008) (← links)
- Streett Automata Model Checking of Higher-Order Recursion Schemes (Q5111330) (← links)
- (Q5129945) (← links)
- Automata, Logic and Games for the $$\lambda $$ -Calculus (Q5224488) (← links)
