MoCHi
From MaRDI portal
Software:33285
swMATH21478MaRDI QIDQ33285FDOQ33285
Author name not available (Why is that?)
Cited In (15)
- Title not available (Why is that?)
- Constraint-based relational verification
- Counterexample-guided partial bounding for recursive function synthesis
- Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation
- Higher-Order Model Checking in Direct Style
- Predicate abstraction and CEGAR for disproving termination of higher-order functional programs
- Title not available (Why is that?)
- RustHorn: CHC-Based Verification for Rust Programs
- Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable
- A Nonstandard Functional Programming Language
- Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence
- Reasoning about algebraic data types with abstractions
- Streett Automata Model Checking of Higher-Order Recursion Schemes
- Modular Verification of Higher-Order Functional Programs
- Automata, Logic and Games for the $$\lambda $$ -Calculus
This page was built for software: MoCHi
