Jan Midtgaard

Available identifiers

zbMath Open midtgaard.janDBLP03/5231WikidataQ59416369 ScholiaQ59416369MaRDI QIDQ418129

List of research outcomes

Publication	Date of Publication	Type
Process-local static analysis of synchronous processes	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	2015-01-06	Paper
Control-flow analysis of functional programs	2014-08-13	Paper
Calculating Graph Algorithms for Dominance and Shortest Path	2012-09-05	Paper
Control-flow analysis of function calls and returns by abstract interpretation	2012-05-24	Paper
A functional correspondence between call-by-need evaluators and lazy abstract machines	2009-07-21	Paper
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation	2008-08-28	Paper
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects	2005-09-22	Paper

Research outcomes over time

This page was built for person: Jan Midtgaard