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

Pré-Publication, Document De Travail Année : 2017

(1, 2)

1
2

Frédéric Gilbert

Laboratoire Sûreté des Logiciels

Logique en informatique [cs.LO] Théorie et langage formel [cs.FL]

Fichier principal

dissertation.pdf (1000.69 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

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

Soumis le : samedi 30 décembre 2017-11:50:33

Dernière modification le : mercredi 3 avril 2024-11:14:11

hal-01673518 , version 1 (30-12-2017)

hal-01673518 , version 2 (05-12-2018)

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

469 Consultations

461 Téléchargements