On Context Semantics and Interaction Nets - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

On Context Semantics and Interaction Nets

Résumé

Context semantics is a tool inspired by Girard' s geometry of interaction. It has had many applications from study of optimal reduction to proofs of complexity bounds. Yet, context semantics have been defined only on $\lambda$-calculus and linear logic. In order to study other languages, in particular languages with more primitives (built-in arithmetic, pattern matching,...) we define a context semantics for a broader framework: interaction nets. These are a well-behaved class of graph rewriting systems. Here, two applications are explored. First, we define a notion of weight, based on context semantics paths, which bounds the length of reduction of nets. Then, we define a denotational semantics for a large class of interaction net systems.
Fichier principal
Vignette du fichier
article.pdf (471.44 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00992579 , version 1 (19-05-2014)

Identifiants

Citer

Matthieu Perrinel. On Context Semantics and Interaction Nets. CSL-LICS, Jul 2014, Austria. pp.10, ⟨10.1145/2603088.2603155⟩. ⟨hal-00992579⟩
134 Consultations
387 Téléchargements

Altmetric

Partager

More