Benjamin Delaware

From MaRDI portal
Person:2819859

Available identifiers

zbMath Open delaware.benjaminMaRDI QIDQ2819859

List of research outcomes





PublicationDate of PublicationType
RHLE: modular deductive verification of relational \(\forall \exists\) properties2023-07-25Paper
Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs2022-11-09Paper
Fiat: deductive synthesis of abstract data types in a proof assistant2016-09-29Paper
Modular monadic meta-theory2015-03-30Paper
Meta-theory à la carte2014-11-27Paper

Research outcomes over time

This page was built for person: Benjamin Delaware

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2819859&oldid=7817381"
Powered by MediaWiki