On termination of meta-programs
From MaRDI portal
Publication:3370573
Recommendations
Cited in
(6)- Checking termination of bottom-up evaluation of logic programs with function symbols
- Logic programming with function symbols: checking termination of bottom-up evaluation through program adornments
- Leanest quasi-orderings
- Dependency triples for improving termination analysis of logic programs with cut
- On termination of meta-programs
- Using linear constraints for logic program termination analysis
This page was built for publication: On termination of meta-programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3370573)