Dmitri Boulanger
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 |
|---|---|---|
| A freeness and sharing analysis of logic programs based on a pre-interpretation Static Analysis | 2022-02-16 | Paper |
| scientific article; zbMATH DE number 683343 (Why is no real title available?) | 1999-07-29 | Paper |
| Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation Journal of Symbolic Computation | 1994-05-09 | Paper |
Research outcomes over time
This page was built for person: Dmitri Boulanger
