Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par
Image document

Property-Based Testing via Proof Reconstruction

 Roberto Blanco , Dale Miller , Alberto Momigliano
PPDP 2019 - 21st International Symposium on Principles and Practice of Programming Languages, Oct 2019, Porto, Portugal. pp.1-13, ⟨10.1145/3354166.3354170⟩
Communication dans un congrès hal-02368931v1

Two Applications of Logic Programming to Coq

 Matteo Manighetti , Dale Miller , Alberto Momigliano
26th International Conference on Types for Proofs and Programs (TYPES 2020), Mar 2020, Turin, Italy
Communication dans un congrès hal-03457352v1
Image document

Property-Based Testing of Abstract Machines: an Experience Report

 Francesco Komauli , Alberto Momigliano
13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom
Communication dans un congrès hal-01811983v1
Image document

Property-Based Testing via Proof Reconstruction Work-in-progress

 Roberto Blanco , Dale Miller , Alberto Momigliano
LFMTP 17: Logical Frameworks and Meta-Languages: Theory and Practice, Sep 2017, Oxford, United Kingdom
Communication dans un congrès hal-01646788v1
Page :