Recursive programs and the hierarchy of their models
From MaRDI portal
Publication:1817112
Recommendations
Cited in
(6)- Verification, Model Checking, and Abstract Interpretation
- Simple Models for Recursive Schemes
- scientific article; zbMATH DE number 7434531 (Why is no real title available?)
- Equivalent transformations of heterogeneous meta-programs
- scientific article; zbMATH DE number 5825969 (Why is no real title available?)
- Studies in the theory of algebraic models of programs with procedures
This page was built for publication: Recursive programs and the hierarchy of their models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817112)