Jan Midtgaard

MaRDI QIDQ418129zbMATH OpenDBLPORCIDWikidataFDO

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
Process-local static analysis of synchronous processes Static Analysis	2023-05-26	Paper
A parametric abstract domain for lattice-valued regular expressions	2018-08-27	Paper
Control-flow analysis of function calls and returns by abstract interpretation Proceedings of the 14th ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
Control-flow analysis of functional programs ACM Computing Surveys	2014-08-13	Paper
Calculating graph algorithms for dominance and shortest path Lecture Notes in Computer Science	2012-09-05	Paper
Control-flow analysis of function calls and returns by abstract interpretation Information and Computation	2012-05-24	Paper
A functional correspondence between call-by-need evaluators and lazy abstract machines Information Processing Letters	2009-07-21	Paper
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation Static Analysis	2008-08-28	Paper
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects Theoretical Computer Science	2005-09-22	Paper

Research outcomes over time

This page was built for person: Jan Midtgaard