Extending higher-order logic with predicate subtyping: application to PVS

Frédéric Gilbert 1, 2
2 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
Type de document :
Pré-publication, Document de travail
2017
Liste complète des métadonnées

Littérature citée [71 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01673518
Contributeur : Frédéric Gilbert <>
Soumis le : samedi 30 décembre 2017 - 11:50:33
Dernière modification le : mardi 17 avril 2018 - 09:04:23

Fichier

dissertation.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01673518, version 1

Citation

Frédéric Gilbert. Extending higher-order logic with predicate subtyping: application to PVS. 2017. 〈hal-01673518〉

Partager

Métriques

Consultations de la notice

223

Téléchargements de fichiers

131