Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation

Tom Hirschowitz. Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation. 2016. [doi]

Abstract

Abstract is missing.