8 Towards a Compiler for Reals1 EVA DARULOVA2 , Max Planck Institute for Software Systems VIKTOR KUNCAK3 , Ecole Polytechnique Federale de Lausanne Numerical software, common in scientific computing or embedded systems,

First Page		Document Content
Date: 2017-05-16 05:28:09		8 Towards a Compiler for Reals1 EVA DARULOVA2 , Max Planck Institute for Software Systems VIKTOR KUNCAK3 , Ecole Polytechnique Federale de Lausanne Numerical software, common in scientific computing or embedded systems, Add to Reading List Source URL: lara.epfl.ch Download Document from Source Website File Size: 578,84 KB Share Document on Facebook