On termination of meta-programs
From MaRDI portal
Publication:2996191
Recommendations
Cited in
(6)- Meta-predicate semantics
- In praise of impredicativity: a contribution to the formalization of meta-programming
- scientific article; zbMATH DE number 88989 (Why is no real title available?)
- The Use of Termination Indicators in Computer Programming
- Language-independent generation of logic representations for programs
- On termination of meta-programs
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 Q2996191)