| Document Date: 2012-02-19 15:58:07
Open Document File Size: 470,27 KBShare Result on Facebook
City Reading / Honolulu / / Company CNF / CellGroup / Prentice-Hall / MIT Press / Squander / / Currency USD / / / Facility Squander library / Artificial Intelligence Laboratory Massachusetts Institute of Technology / / IndustryTerm manual algorithm / declarative solution / traversal algorithm / textbook backtracking algorithm / search combinators / breath-first algorithm / polynomial time algorithm / local search / textbook solutions / card applications / binary search tree / graph algorithms / search space / handwritten solutions / hand-written algorithm / generic solution / / Organization Cornell / Massachusetts Institute of Technology / / Person D. Cok / Derek Rayside / Daniel Jackson / / Position course scheduler / queen / Automatic Programming General / scheduler / mixed interpreter / programmer / / Product Kodkod / / ProgrammingLanguage Prolog / Java / / ProvinceOrState t / Hawaii / / Technology functional programming / graph algorithms / traversal algorithm / object-oriented programming / php / polynomial time algorithm / Java / API / known polynomial time algorithm / backtracking algorithm / hand-written algorithm / textbook backtracking algorithm / manual algorithm / GUI / / URL http /
SocialTag |
Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {ale