Boris Yakobowski
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 |
|---|---|---|
| Exploiting pointer analysis in memory models for deductive verification (available as arXiv preprint) | 2020-01-23 | Paper |
| From ML to ML <sup>F</sup> Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| A Church-style intermediate language for ML\(^{\text F}\) Theoretical Computer Science | 2012-06-25 | Paper |
| A church-style intermediate language for ML\(^{\text{F}}\) Functional and Logic Programming | 2010-05-04 | Paper |
| Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Research outcomes over time
This page was built for person: Boris Yakobowski
