Thomas P. Jensen

Available identifiers

zbMath Open jensen.thomas-pMaRDI QIDQ418130

List of research outcomes

Publication	Date of Publication	Type
Control-flow analysis of function calls and returns by abstract interpretation	2015-01-06	Paper
Control-flow analysis of function calls and returns by abstract interpretation	2012-05-24	Paper
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation	2008-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4870824	1996-08-13	Paper
Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs	1995-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4038664	1993-05-18	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: Thomas P. Jensen