Robert Dockins
From MaRDI portal
Person:1945920
Available identifiers
zbMath Open dockins.robertWikidataQ102425284 ScholiaQ102425284MaRDI QIDQ1945920
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 |
|---|---|---|
| Time bounds for general function pointers | 2016-07-08 | Paper |
| A theory of indirection via approximation | 2015-06-11 | Paper |
| Formalized, effective domain theory in Coq | 2014-09-08 | Paper |
| Program logics for certified compilers | 2014-07-28 | Paper |
| Multimodal Separation Logic for Reasoning About Operational Semantics | 2014-05-13 | Paper |
| Verified Compilation for Shared-Memory C | 2014-04-16 | Paper |
| A list-machine benchmark for mechanized metatheory | 2013-04-17 | Paper |
Research outcomes over time
This page was built for person: Robert Dockins
