scientific article; zbMATH DE number 4041248
From MaRDI portal
Publication:3779733
Recommendations
- scientific article; zbMATH DE number 4106263
- Transformational program development in a particular problem domain
- Some equivalent transformations of recursive programs based on their schematic properties
- Derivation of efficient logic programs by specialization and reduction of nondeterminism
- An execution mechanism for nondeterministic, state-oriented programs based on a chart parser
Cited in
(9)- Generalizing Cook's transformation to imperative stack programs
- A thorough treatment of highly-efficient NTRU instantiations
- scientific article; zbMATH DE number 1543035 (Why is no real title available?)
- Non-recursive trade-offs are ``almost everywhere
- scientific article; zbMATH DE number 4037175 (Why is no real title available?)
- An execution mechanism for nondeterministic, state-oriented programs based on a chart parser
- An exercise in transformational programming: Backtracking and Branch-and- Bound
- scientific article; zbMATH DE number 3954251 (Why is no real title available?)
- scientific article; zbMATH DE number 4043254 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3779733)
