Jan Midtgaard

Available identifiers

zbMath Open midtgaard.janWikidataQ59416369 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jan Midtgaard