Google
AllVideosImagesBooks Maps News Shopping
Search tools

Verifying efficient function calls in CakeML - ACM Digital Library

dl.acm.org › doi
We have designed an intermediate language (IL) for the CakeML compiler that supports the verified, efficient compilation of functions and calls.

[PDF] Verifying Efficient Function Calls in CakeML - Trustworthy Systems

trustworthy.systems › publications › full_text › Owens_NKTM_17
We have designed an intermediate language (IL) for the CakeML compiler that supports the verified, efficient compilation of functions and calls.

[PDF] Verifying Efficient Function Calls in CakeML - University of Kent

kar.kent.ac.uk › document
We have designed an intermediate language (IL) for the CakeML compiler that supports the verified, efficient compilation of functions and calls.

(PDF) Verifying efficient function calls in CakeML - ResearchGate

www.researchgate.net › publication › 319364492_Verifying_efficient_fun...
We have designed an intermediate language (IL) for the CakeML compiler that supports the verified, efficient compilation of functions and calls.

Verifying efficient function calls in CakeML - Chalmers Research

research.chalmers.se › publication
We have designed an intermediate language (IL) for the CakeML compiler that supports the verified, efficient compilation of functions and calls.

Verifying Efficient Function Calls in CakeML - ICFP 2017

icfp17.sigplan.org › details › icfp-2017-papers › Verifying-Efficient-Funct...
We have designed an intermediate language (IL) for the CakeML compiler that supports the verified, efficient compilation of functions and calls.

Verifying Efficient Function Calls in CakeML - YouTube

www.youtube.com › watch
Video for Verifying efficient function calls in CakeML.
Nov 27, 2017 � Verifying Efficient Function Calls in CakeML. 268 views � 6 years ago ...more. ICFP Video. 3.74K ...
Duration: 19:54
Posted: Nov 27, 2017

Verifying efficient function calls in CakeML - CORE

core.ac.uk › ... › Chalmers Research
Abstract. We have designed an intermediate language (IL) for the CakeML compiler that supports the verified, efficient compilation of functions and calls.

CakeML Publications

cakeml.org › publications
Verifying efficient function calls in CakeML. Proc. ACM Program. Lang., 1(ICFP), September 2017. [ bib | DOI | .pdf ]. [34], Rikard Hjort, Jakob Holmgren, and�...

Verifying Efficient Libraries in CakeML – VeTSS Annual Report

wp.doc.ic.ac.uk › vetssannualreport › verifying-efficient-libraries-in-cakeml
This project explored the way in which fundamental mathematical insights from RustBelt could be incorporated into CakeML's suite of verification tools, setting�...
Missing: calls | Show results with:calls