Contextual approximation and higher-order procedures
From MaRDI portal
Publication:2811338
Recommendations
Cites work
- scientific article; zbMATH DE number 1670817 (Why is no real title available?)
- scientific article; zbMATH DE number 1231510 (Why is no real title available?)
- scientific article; zbMATH DE number 1342245 (Why is no real title available?)
- A fragment of ML decidable by visibly pushdown automata
- Calculating modules in contextual logic program refinement
- Foundations of Software Science and Computational Structures
- Games for complexity of second-order call-by-name programs
- State-dependent representation independence
- Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency
- Visibly pushdown languages
Cited in
(3)
This page was built for publication: Contextual approximation and higher-order procedures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811338)