Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Home
Academic and Research Output
Conferences, Workshops, Symposiums, and Seminars
Complete Functional Synthesis
conference paper
Complete Functional Synthesis
Kuncak, Viktor
•
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)
Details
Metrics
Type
conference paper
DOI
10.1145/1806596.1806632
Author(s)
Kuncak, Viktor
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 name
Event 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
