conference paper

Complete Functional Synthesis

Kuncak, Viktor  orcid-logo
•
Mayer, Mikael  
•
Piskac, Ruzica  
Show more
2010
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation
ACM Conference on Programming Language Design and Implementation (PLDI)
Type
conference paper
DOI
10.1145/1806596.1806632
Author(s)
Kuncak, Viktor  orcid-logo
Mayer, Mikael  
Piskac, Ruzica  
Suter, Philippe  
Date Issued

2010

Published in
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation
Start page

316

End page

329

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LARA  
Event nameEvent date
ACM Conference on Programming Language Design and Implementation (PLDI)

2010

Available on Infoscience
February 14, 2010
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/47384