Une semantique formelle du P-Code basee sur les types abstraits algebriques

Rapport Année : 1982

(1)

1

Joëlle Despeyroux-Savonitto

INRIA Rocquencourt

Autre [cs.OH]

Fichier principal

RR-0158.pdf (2.01 Mo)

https://inria.hal.science/inria-00076401

Soumis le : mercredi 24 mai 2006-20:56:01

Dernière modification le : mardi 7 février 2023-03:41:41

Archivage à long terme le : vendredi 13 mai 2011-20:15:41

inria-00076401 , version 1 (24-05-2006)

Joëlle Despeyroux-Savonitto. Une semantique formelle du P-Code basee sur les types abstraits algebriques. RR-0158, INRIA. 1982. ⟨inria-00076401⟩

INRIA INRIA-RRRT INRIA2 LARA

37 Consultations

23 Téléchargements