Combining languages and SMT solvers an EDSL study Don Stewart | WG 2.8 | March 2011 © 2011 Galois, Inc. All rights reserved. The Productivity Challenge in Software As John Hughes pointed out yesterday, we must climb a productivity cliff in software construction if we are to build the multi-million line codebases industry demands, when labor is expensive The “FP” approach: – Automate code gener