Evaluation Opportunities in Mechanized Theories (Invited Talk Abstract)
Joe Hurd · 2010
When evaluating logic solvers, it is essential to take into account the application domain in which they will operate. For example, a logic solver for reasoning about programs could be applied either inside a compiler to justify the validity of optimizing transformations, or in an IDE plug-in to help developers find bugs in their programs. Despite the similarity of the domain, these