Using static analysis to derive imperative code from AlphaReport as inadecuate




Using static analysis to derive imperative code from Alpha - Download this document for free, or read online. Document in PDF available to download.

1 API - Parallel VLSI Architectures IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes

Résumé : Disponible dans les fichiers attachés à ce document





Author: Patrice Quinton - Sanjay Rajopadhye - Doran Wilde -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents