Equational Semantics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

Equational Semantics

Loic Correnson
  • Fonction : Auteur
Didier Parigot
Gilles Roussel
Fichier non déposé

Dates et versions

hal-00619913 , version 1 (06-09-2011)

Identifiants

  • HAL Id : hal-00619913 , version 1

Citer

Loic Correnson, Étienne Duris, Didier Parigot, Gilles Roussel. Equational Semantics. 6th International Symposium on Static Analysis (SAS '99), Sep 1999, Venice, Italy, Italy. pp.264-283. ⟨hal-00619913⟩
52 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More