Scala to the Power of Z3: Integrating SMT and Programming.

Ali Sinan Köksal Viktor Kuncak Philippe Suter

Published in: CADE (2011)

Keyphrases

power consumption
programming language
information systems
power distribution
statistical machine translation
database
real time
databases
search engine
control system
general purpose
programming course
programming environments