Conceptio › Archive › HAL (France)
HAL (France)open access

Une sémantique dénotationnelle pour un compilateur synchrone vérifié

Paul Jeanmaire
HAL (France) · Papers · License: Open Access
Open Source ↗
Programmation synchrone, Assistants de preuve, Synchronous programming, 0, Systèmes embarqués, Preuves de programmes, Compilation vérifiée, Denotational semantics
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗
Record · ID 388027
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.