Applications of Cumulative Subgoal Fulfillment to Linear Programming
Applications of Cumulative Subgoal Fulfillment to Linear Programming
Author(s): Eric BraudeSubject(s): Education, ICT Information and Communications Technologies
Published by: Нов български университет
Keywords: programming; simplex; correctness; synthesis; coding;
Summary/Abstract: We show how the CSF program design approach can be used to synthesize the classical linear programming algorithm as well as Seidel’s external algorithm.
Journal: Computer Science and Education in Computer Science
- Issue Year: 7/2011
- Issue No: 1
- Page Range: 43-51
- Page Count: 9
- Language: English