On synthesis of scheduling algorithms
From MaRDI portal
Publication:799101
Cites work
- scientific article; zbMATH DE number 3522951 (Why is no real title available?)
- A Transformation System for Developing Recursive Programs
- A synthesis of several sorting algorithms
- Algorithm classification through synthesis
- An exercise in program synthesis: algorithms for computing the transitive closure of a relation
- Knowledge and reasoning in program synthesis
- Remarks on A synthesis of several sorting algorithms
Cited in
(3)
This page was built for publication: On synthesis of scheduling algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799101)