Details
Title
Complete Functional Synthesis
Author(s)
Kuncak, Viktor ; Mayer, Mikael ; Piskac, Ruzica ; Suter, Philippe
Published in
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation
Pages
316–329
Conference
ACM Conference on Programming Language Design and Implementation (PLDI), 2010
Date
2010
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
2010-02-14