Scala to the Power of Z3: Integrating SMT and Programming
2011
Details
Title
Scala to the Power of Z3: Integrating SMT and Programming
Author(s)
Köksal, Ali Sinan ; Suter, Philippe ; Kuncak, Viktor
Conference
Computer-Aideded Deduction (CADE)
Date
2011
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2011-05-25