Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ Ecole - Z3 - Document - PDFSEARCH.IO

First Page	Meta Content
	Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ Ecole Add to Reading List Document Date: 2011-05-02 03:09:27 Open Document File Size: 128,05 KB Share Result on Facebook Company Artima Press / / / IndustryTerm portable media devices / combinatorial search / search heuristics / / Organization Ecole Polytechnique F´ed´erale de Lausanne / National Science Foundation / / Person Philippe Suter Mixing / Viktor Kuncak / Philippe Suter / Ali Sinan / / Position author / queen / Scala programmer / Emir / Programmer / / ProgrammingLanguage C / K / Java / Scala / / Technology Java / DSL / / URL http / SocialTag Type theory Data types Functional programming Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 Scala Type inference Computing

Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ EcoleAdd to Reading List