Beta Ziliani
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| From specification to testing: semantics engineering for Lua 5.2 Journal of Automated Reasoning | 2022-12-12 | Paper |
| Verification of dynamic bisimulation theorems in Coq Journal of Logical and Algebraic Methods in Programming | 2021-06-25 | Paper |
| Mechanizing bisimulation theorems for relation-changing logics in Coq | 2020-07-08 | Paper |
| Mtac: a monad for typed tactic programming in Coq Journal of Functional Programming | 2017-10-23 | Paper |
| A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading Journal of Functional Programming | 2017-10-23 | Paper |
| A unification algorithm for Coq featuring universe polymorphism and overloading Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Mtac: a monad for typed tactic programming in Coq Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| How to make ad hoc proof automation less ad hoc Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| How to make ad hoc proof automation less ad hoc Journal of Functional Programming | 2014-02-27 | Paper |
| Lightweight proof by reflection using a posteriori simulation of effectful computation Interactive Theorem Proving | 2013-08-07 | Paper |
Research outcomes over time
This page was built for person: Beta Ziliani
