Skeletal Semantics and their Interpretations - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2018

Skeletal Semantics and their Interpretations

Résumé

Many metalanguages have been proposed for writing rule-based operational semantics, in order to provide general interpreters and analysis tools. We take a different approach. We develop a metalanguage for a skeletal semantics of a language, where each skeleton describes the complete semantic behaviour of a language construct. We define a general notion of interpretation, which provides a systematic and language-independent way of deriving semantic judgements from the skeletal semantics. We provide four generic interpretations of our skeletal semantics to yield: a simple well-formedness interpretation; a concrete interpretation; an abstract interpretation; and a constraint generator for flow-sensitive analysis. We prove general consistency results, establishing that the concrete and abstract interpretations are consistent and that any solution to the constraints generated by the constraint generator must be a correct abstract semantics.
Fichier principal
Vignette du fichier
rule-format.pdf (830.39 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01881863 , version 1 (26-09-2018)
hal-01881863 , version 2 (19-11-2018)
hal-01881863 , version 3 (23-11-2018)

Identifiants

  • HAL Id : hal-01881863 , version 1

Citer

Martin Bodin, Philippa Gardner, Thomas Jensen, Alan Schmitt. Skeletal Semantics and their Interpretations. 2018. ⟨hal-01881863v1⟩
549 Consultations
1066 Téléchargements

Partager

More