Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions
Paper i proceeding, 2018
Författare
Son Ho
Mines ParisTech
Oskar Abrahamsson
Chalmers, Data- och informationsteknik, Formella metoder
R. Kumar
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Yong Kiam Tan
Carnegie Mellon University (CMU)
M. Norrish
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 10900 LNAI 646-662978-3-319-94204-9 (ISBN)
Oxford, United Kingdom,
Ämneskategorier
Datavetenskap (datalogi)
Datorsystem
Matematisk analys
DOI
10.1007/978-3-319-94205-6_42