Interfacing with Proof Assistants for Domain Specific Programming Using EventML

Présentation scientifique dans des universités ou centres de recherche (Présentations scientifiques dans des universités ou centres de recherche)

RAHLI, Vincent

2012

Permalien
https://hdl.handle.net/10993/22665

Interfacing_with_Proof_Assistants_for_Domain_Specific_Programming_Using_EventML.pdf

Preprint Auteur (296.57 kB)

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Disciplines :

Sciences informatiques

Auteur, co-auteur :

RAHLI, Vincent ; Cornell University > Computer Science Department

Langue du document :

Anglais

Titre :

Interfacing with Proof Assistants for Domain Specific Programming Using EventML

Date de publication/diffusion :

2012

Nom de la manifestation :

International Workshop on User Interfaces for Theorem Provers (UITP 2012)

Date de la manifestation :

July 2012

Manifestation à portée :

International

Commentaire :

Presented at the 10th International Workshop on User Interfaces for Theorem Provers

Disponible sur ORBilu :

depuis le 30 novembre 2015

Nombre de vues

72 (dont 1 Unilu)

Nombre de téléchargements

85 (dont 0 Unilu)