Programming Languages and Systems
From MaRDI portal
Publication:5899019
Recommendations
Cited in
(9)- Fast offline partial evaluation of logic programs
- scientific article; zbMATH DE number 2018591 (Why is no real title available?)
- Size-Change Termination and Bound Analysis
- Proving Termination with (Boolean) Satisfaction
- Size-change termination and transition invariants
- Affine-based size-change termination.
- Resource control graphs
- Lazy abstraction for size-change termination
- The size-change principle for program termination
This page was built for publication: Programming Languages and Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899019)