Thomas Jensen

Available identifiers

zbMath Open jensen.thomas-pMaRDI QIDQ418130

List of research outcomes

Publication	Date of Publication	Type
Automata-based verification of relational properties of functions over algebraic data structures	2024-10-21	Paper
Control-flow analysis of function calls and returns by abstract interpretation	2015-01-06	Paper
Secure the clones	2012-06-01	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

This page was built for person: Thomas Jensen