A complete machine-checked definition of a simple programming language using denotational semantics
Véronique Viguié Donzeau-Gouge, G. Kahn, B. Lang · HAL (Le Centre pour la Communication Scientifique Directe) · 1978
Numérisation avec OCR réalisée en 2024. La reconnaissance de caractères du PDF (format PDF/A) peut comporter des erreurs. Pour toutes informations complémentaires et les partages de propriété, merci de contacter le service IES [email protected]