Published June 24, 2019
| Version v1
Conference paper
FaCT: A DSL for Timing-Sensitive Computation
Contributors
Others:
- University of California [San Diego] (UC San Diego) ; University of California (UC)
- Stanford University
- Mathematical, Reasoning and Software (MARELLE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Institute IMDEA Software [Madrid]
Description
International audience
Additional details
Identifiers
- URL
- https://hal.archives-ouvertes.fr/hal-02404755
- URN
- urn:oai:HAL:hal-02404755v1
Origin repository
- Origin repository
- UNICA