A General Algebraic Theory and Derived Software Framework for Automated Tradeoff Analysis Tools

Chong Tang, Kevin Sullivan, Hamid Bagheri & Ke Dou
This paper presents a formal, general algebraic theory of design space tradeoff analysis tools, and a map-reduce-based framework, derived mechanically from the theory, for implementing such tools. The theory is organized as a hierarchy of Coq typeclasses in a style similar to that being used elsewhere to formalize abstract mathematics. From this theory, using Coq's extraction function, we produce a polymorphic framework (in Scala) that developers specialize and extend to produce domain-specific trade-off analysis tools....
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.