Implementing algebraic dynamic programming in the functional and the imperative programming paradigm
সংরক্ষণ করুন:
| প্রকাশিত: | IDEAS Working Paper Series from RePEc (2010), p. n/a |
|---|---|
| প্রধান লেখক: | |
| অন্যান্য লেখক: | |
| প্রকাশিত: |
Federal Reserve Bank of St. Louis
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Citation/Abstract Full text outside of ProQuest |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| সার সংক্ষেপ: | Algebraic dynamic programming is. a new method for developing and reasoning about dynamic programming algorithms. In this approach, so-called yield grammars and evaluation algebras constitute abstract specifications of dynamic programming algorithms. We describe how this theory is put to practice by providing a specification language that can both be embedded in a lazy functional language, and translated into an imperative language. Parts of the analysis required for the latter translation also gives rise to source-to-source transformations that improve the asymptotic efficiency of the functional implementation. The multi-paradigm. system resulting from this approach provides increased programming productivity and effective validation. |
|---|---|
| সম্পদ: | ABI/INFORM Global |